Leveraging Linear and Mixed Integer Programming for SMT Tim King1 Clark Barrett1 1 New

Source URL: smt2014.it.uu.se

Mixed-Integer Linear Programming LPBranch-and-Bound Search

Source URL: macc.mcmaster.ca

New integer programming models for tactical and strategic underground production scheduling B. King - PhD, Operations Research with Engineering, Colorado School of Mines, Golden, CO, USA M. Goycoolea – Associate Profes

Source URL: mgoycool.uai.cl

Designing a Feedback Control System via Mixed-Integer Programming Lena C. Altherr, Thorsten Ederer, Ulf Lorenz, Peter Pelz, Philipp P¨ottgen Abstract Pure analytical or experimental methods can only find a control strat

Source URL: wl.fst.tu-darmstadt.de

DECOMPOSITION METHODS FOR INTEGER LINEAR PROGRAMMING by Matthew Galati

Source URL: coral.ie.lehigh.edu

• Mathematics
• Mathematical optimization
• Computational complexity theory
• Combinatorial optimization
• Travelling salesman problem
• Cutting-plane method
• Decomposition method
• Linear programming
• COIN-OR
• Ear decomposition

Undecidability and hardness in mixed-integer nonlinear programming Leo Liberti1 1 ´

Source URL: www.lix.polytechnique.fr

ooOPS A C++ Callable Object-Orientated Library for the Definition and Solution of Large, Sparse Mixed Integer Nonlinear Programming (MINLP) Problems Draft v. 1.25

Source URL: www.enseignement.polytechnique.fr

Integer Linear Programming (ILP)

Source URL: rtime.felk.cvut.cz

Evaluating Approaches for Solving the Area Restriction Model in Harvest Scheduling Marcos Goycoolea, Alan Murray, Juan Pablo Vielma, and Andres Weintraub Abstract: We survey three integer-programming approaches for solvi

Source URL: mgoycool.uai.cl

Constraint Programming for Strictly Convex Integer Quadratically-Constrained Problems Wen-Yang Ku and J. Christopher Beck Department of Mechanical & Industrial Engineering University of Toronto, Toronto, Ontario M5S 3G8,

Source URL: tidel.mie.utoronto.ca