Integrating Mixed-Integer Optimisation & Satisfiability Modulo Theories
|
|
- Rosalind Stanley
- 5 years ago
- Views:
Transcription
1 Integrating Mixed-Integer Optimisation & Satisfiability Modulo Theories Application to Scheduling Miten Mistry and Ruth Misener Wednesday 11 th January, 2017 Mistry & Misener MIP & SMT Wednesday 11 th January, / 33
2 Optimisation & Logic Possible modelling frameworks: Generalised disjunctive programming, e.g. Grossmann & co-workers Mixed logical-linear programming, e.g. Hooker & co-workers Exisiting solution frameworks (Maravelias and Sung, 2009): Solve as a monolithic optimisation problem Solve as a monolithic satisfiability problem (Bjørner and De Moura, 2011) Decomposition methods e.g., Logic-based Benders decomposition (Jain and Grossmann, 2001; Hooker and Ottoson, 2003) Task 7 Task 4 Task 2 Machine 2 Task 6 Task 8 Task 1 Task 3 Task 5 Machine Time Mistry & Misener MIP & SMT Wednesday 11 th January, / 33
3 Background Mixed Integer Optimisation Mixed Integer Linear Programming (MILP) min c x s.t. Ax b x R n x j Z, j I {1,..., n} where c R n, A R m n and b R m. Mixed Integer Nonlinear Programming (MINLP) min f(x) s.t. g(x) 0 x R n x j Z, j I {1,..., n} where f : R n R, g : R n R m. Mistry & Misener MIP & SMT Wednesday 11 th January, / 33
4 Background Propositional Satisfiability (SAT) Alphabet soup: SAT CP SMT ASP Propositional Satisfiability Constraint Programming Satisfiability Modulo Theories Answer set programming Propositional Satisfiability (SAT) Analogy to machine code Given a propositional formula ϕ (built from, and ) over a set of propositional variables, p i, i I = {1,..., n}, can we find an assignment on the p i s such that ϕ evaluates to True (satisfied)? Other Constraint Satisfaction Techniques Analogy to high level language CP, SMT, ASP Mistry & Misener MIP & SMT Wednesday 11 th January, / 33
5 Background Constraint Programming (CP) Special constraints exploit structure found in specific applications Example: cumulative constraint mainly used in scheduling applications s: start times p: processing times c: resource consumptions C: resource consumption limit Hybridisation with MILP cumulative(s, p, c, C) Bockmayr and Kasper (1998); Jain and Grossmann (2001); Hooker and Ottoson (2003); Maravelias and Grossmann (2004); Bockmayr and Kasper (2004); Hooker (2007), etc. Mistry & Misener MIP & SMT Wednesday 11 th January, / 33
6 Background Satisfiability Modulo Theories (SMT) Reason about satisfiability (SAT) with respect to a theory Encode the SMT formula into a propositional formula and use the theory solver with the SAT solver to assess satisfiability. Can result in: Theories of Interest SAT UNSAT UNKNOWN Satisfiable Unsatisfiable For our applications usually a timeout Integer (Real) arithmetic - Interpret the symbols (0, 1, +,, =, ) in the usual way over Z (R) Arrays Combined theories - e.g. combining integer arithmetic with arrays to reason about a[i+j] Mistry & Misener MIP & SMT Wednesday 11 th January, / 33
7 Background Example: Satisfiability Modulo Theories (SMT) Example: Satisfiability Modulo Theories SAT MINLP meets SMT Callia D Iddio, Huth, Misener Mistry & Misener MIP & SMT Wednesday 11 th January, / 33
8 Background Example: Satisfiability Modulo Theories (SMT) Example: Satisfiability Modulo Theories UNSAT MINLP meets SMT Callia D Iddio, Huth, Misener Mistry & Misener MIP & SMT Wednesday 11 th January, / 33
9 Background Example: Satisfiability Modulo Theories (SMT) Example: Satisfiability Modulo Theories WHY UNSAT? MINLP meets SMT Callia D Iddio, Huth, Misener Mistry & Misener MIP & SMT Wednesday 11 th January, / 33
10 Background Example: Satisfiability Modulo Theories (SMT) Example: Satisfiability Modulo Theories SAT MINLP meets SMT Callia D Iddio, Huth, Misener Mistry & Misener MIP & SMT Wednesday 11 th January, / 33
11 Background Example: Satisfiability Modulo Theories (SMT) Example: Satisfiability Modulo Theories 0.15 x + y x y x + y x y 1.50 x, y 2 Z x 2 [ 1, 2] x 2 [ 2, 2] 0.10 x 2 + y 0.00 SAT MINLP meets SMT Callia D Iddio, Huth, Misener Mistry & Misener MIP & SMT Wednesday 11 th January, / 33
12 Background Example: Satisfiability Modulo Theories (SMT) Example: Satisfiability Modulo Theories (set-option :produce-unsat-cores true) (declare-const x Int) (declare-const y Int) (assert (! (>= (+ (* 0.15 x) (* 1 y)) 0.35) :named a1)) (assert (! (>= (+ (* x) (* -1 y)) -0.75) :named a2)) (assert (! (>= (+ (* x) (* 1 y)) 0.20) :named a3)) (assert (! (>= (+ (* 0.15 x) (* -1 y)) -1.50) :named a4)) (push) (check-sat)! SAT rise4fun.com/z3 a2 a4 a3 a1 MINLP meets SMT Callia D Iddio, Huth, Misener Mistry & Misener MIP & SMT Wednesday 11 th January, / 33
13 Background Example: Satisfiability Modulo Theories (SMT) Example: Satisfiability Modulo Theories (set-option :produce-unsat-cores true) (declare-const x Int) (declare-const y Int) (assert (! (>= (+ (* 0.15 x) (* 1 y)) 0.35) :named a1)) (assert (! (>= (+ (* x) (* -1 y)) -0.75) :named a2)) (assert (! (>= (+ (* x) (* 1 y)) 0.20) :named a3)) (assert (! (>= (+ (* 0.15 x) (* -1 y)) -1.50) :named a4)) (push) (check-sat)! SAT (assert (! (>= x -1) :named a5)) (assert (! (<= x 2) :named a6)) (check-sat)! UNSAT a2 rise4fun.com/z3 a5 a6 a4 a3 a1 MINLP meets SMT Callia D Iddio, Huth, Misener Mistry & Misener MIP & SMT Wednesday 11 th January, / 33
14 Background Example: Satisfiability Modulo Theories (SMT) Example: Satisfiability Modulo Theories (set-option :produce-unsat-cores true) (declare-const x Int) (declare-const y Int) (assert (! (>= (+ (* 0.15 x) (* 1 y)) 0.35) :named a1)) (assert (! (>= (+ (* x) (* -1 y)) -0.75) :named a2)) (assert (! (>= (+ (* x) (* 1 y)) 0.20) :named a3)) (assert (! (>= (+ (* 0.15 x) (* -1 y)) -1.50) :named a4)) (push) (check-sat)! SAT (assert (! (>= x -1) :named a5)) (assert (! (<= x (check-sat) (get-unsat-core) 2) :named a6))! UNSAT! (a1 a2 a6 a5) a2 rise4fun.com/z3 a5 a6 a4 a3 a1 MINLP meets SMT Callia D Iddio, Huth, Misener Mistry & Misener MIP & SMT Wednesday 11 th January, / 33
15 Background Example: Satisfiability Modulo Theories (SMT) Example: Satisfiability Modulo Theories (set-option :produce-unsat-cores true) (declare-const x Int) (declare-const y Int) (assert (! (>= (+ (* 0.15 x) (* 1 y)) 0.35) :named a1)) (assert (! (>= (+ (* x) (* -1 y)) -0.75) :named a2)) (assert (! (>= (+ (* x) (* 1 y)) 0.20) :named a3)) (assert (! (>= (+ (* 0.15 x) (* -1 y)) -1.50) :named a4)) (push) (check-sat)! SAT (assert (! (>= x -1) :named a5)) (assert (! (<= x 2) :named a6)) (check-sat) (get-unsat-core) (pop) (assert (! (>= x -2) :named a7)) (assert (! (<= x (check-sat)! UNSAT! (a1 a2 a6 a5) 2) :named a8))! SAT a3 a2 rise4fun.com/z3 a1 a7 a8 a4 MINLP meets SMT Callia D Iddio, Huth, Misener Mistry & Misener MIP & SMT Wednesday 11 th January, / 33
16 Background Example: Satisfiability Modulo Theories (SMT) Example: Satisfiability Modulo Theories rise4fun.com/z3! SAT! UNSAT! (a1 a2 a6 a5) a2 a7 a8 a4 a1! SAT a3! SAT MINLP meets SMT Callia D Iddio, Huth, Misener Mistry & Misener MIP & SMT Wednesday 11 th January, / 33
17 Two Dimensional Bin Packing Two Dimensional Bin Packing (2BP) Mistry & Misener MIP & SMT Wednesday 11 th January, / 33
18 Two Dimensional Bin Packing Two Dimensional Bin Packing (2BP) Mistry & Misener MIP & SMT Wednesday 11 th January, / 33
19 Two Dimensional Bin Packing Two Dimensional Bin Packing (2BP) Mistry & Misener MIP & SMT Wednesday 11 th January, / 33
20 Two Dimensional Bin Packing Two Dimensional Bin Packing (2BP) Mistry & Misener MIP & SMT Wednesday 11 th January, / 33
21 Two Dimensional Bin Packing Two Dimensional Bin Packing (2BP) Mistry & Misener MIP & SMT Wednesday 11 th January, / 33
22 Two Dimensional Bin Packing Two Dimensional Bin Packing (2BP) Mistry & Misener MIP & SMT Wednesday 11 th January, / 33
23 Two Dimensional Bin Packing Two Dimensional Bin Packing (2BP) Mistry & Misener MIP & SMT Wednesday 11 th January, / 33
24 Two Dimensional Bin Packing Logical Formulation Given items j {1,..., n} with widths W j and heights H j. Given n bins with width W and height H. min s.t. n b=1 c b n ζ jb b=1 (ζ ib ζ jb ) b b ζ jb { (x i + W i x j ) (x j + W j x i ) ζ jb ζ b ζ b (c b = 1), ζ b (c b = 0) 0 x j W j, H j y j H (y i H i y j ) (y j H j y i ) Mistry & Misener MIP & SMT Wednesday 11 th January, / 33
25 Two Dimensional Bin Packing Mixed Integer Formulation min s.t. n b=1 z b n z jb = 1 b=1 x i + W i x j + M 1 ij(1 z 1 ij), x j + W j x i + M 2 ij(1 z 2 ij) y i H i y j Mij(1 3 zij), 3 y j H j y i Mij(1 4 zij) 4 4 n zij k = z ib z jb k=1 b=1 z b z jb 0 x j W j, H j y j H Big-M Formulation, No Symmetry Breaking Lodi et al. (2002); Trespalacios and Grossmann (2016) Mistry & Misener MIP & SMT Wednesday 11 th January, / 33
26 Two Dimensional Bin Packing Primal SMT UNKNOWN Return: UNKNOWN Initialise Model Solve Model Status? UNSAT Return: Optimal Solution/UNSAT SAT Set all unused bins to False. Set an extra bin to False. Mistry & Misener MIP & SMT Wednesday 11 th January, / 33
27 Two Dimensional Bin Packing Dual SMT Use unsatisfiable core UNKNOWN Return: UNKNOWN Initialise Model. All but first bins are set to False. Solve Model. Status? SAT Return: Optimal Solution UNSAT Add extra bin. Mistry & Misener MIP & SMT Wednesday 11 th January, / 33
28 Two Dimensional Bin Packing Dual SMT Fixing items in bins Mistry & Misener MIP & SMT Wednesday 11 th January, / 33
29 Two Dimensional Bin Packing Dual SMT Fixing items in bins Mistry & Misener MIP & SMT Wednesday 11 th January, / 33
30 Two Dimensional Bin Packing Dual SMT Fixing items in bins Mistry & Misener MIP & SMT Wednesday 11 th January, / 33
31 Two Dimensional Bin Packing Dual SMT Fixing items in bins Mistry & Misener MIP & SMT Wednesday 11 th January, / 33
32 Two Dimensional Bin Packing Dual SMT Fixing items in bins Mistry & Misener MIP & SMT Wednesday 11 th January, / 33
33 Two Dimensional Bin Packing Dual SMT Fixing items in bins Mistry & Misener MIP & SMT Wednesday 11 th January, / 33
34 Two Dimensional Bin Packing Dual SMT Fixing items in bins Mistry & Misener MIP & SMT Wednesday 11 th January, / 33
35 Two Dimensional Bin Packing Numerical Results Problem Set 500 problems (Lodi et al., 1999) 10 classes each class has 50 problems each problem has 20,40,60,80 or 100 items (10 of each) Each problem given a time limit of 3600s SMT solver: Z3 MILP solver: Gurobi Mistry & Misener MIP & SMT Wednesday 11 th January, / 33
36 Two Dimensional Bin Packing Numerical Results Problems Solved Class SMT-Primal SMT-Dual MILP Table: Number of problems solved to optimality within 3600s by each of the approaches. Each problem class has 50 problems. Mistry & Misener MIP & SMT Wednesday 11 th January, / 33
37 Two Dimensional Bin Packing Numerical Results (500 Bin packing problems, items) Performance Profile (Dolan and Moré, 2002) SMT-Primal SMT-Dual MILP Can solve ρ τ Best in class: Pisinger and Sigurd (2007) Constraint satisfaction + Dantzig-Wolfe decomposition Mistry & Misener MIP & SMT Wednesday 11 th January, / 33
38 Two Dimensional Bin Packing Numerical Results Pecentage Gaps Percentage gap: upper bound lower bound upper bound Class SMT MILP Mistry & Misener MIP & SMT Wednesday 11 th January, / 33
39 Scheduling Scheduling Problem Definiton Given a set of facilities each with a limit on the amount of resources available at any given time. Also, given a set of tasks where each task has release and due times and per facility resource consumption rate and processing time. What is the optimal assignment of tasks to facilities such that we are optimal according to our objective? Objectives we study Minimise cost (addition parameter - cost of assignment) Minimise makespan Minimise tardiness We study a hybrid strategy We implement the hybrid formulations of Hooker (2007) Occurs in the manufacturing and supply chain context Mistry & Misener MIP & SMT Wednesday 11 th January, / 33
40 Scheduling Mixed Integer Formulation Discrete time model Minimum cost min ijt F ij x ijt s.t. x ijt = 1 it j t T ijt c ij x ijt C i x ijt = 0, t < r j or t > d j p ij where x ijt is binary and T ijt = {t t p ij < t t}. Mistry & Misener MIP & SMT Wednesday 11 th January, / 33
41 Scheduling Logical Formulations Continuous time model Minimum cost min j f j s.t. s j r j ζ ij (s j d j p ij ) ζ ij i i i ζ ij ζ ij c ij C i (s j + p ij s j) j J j J j j ζ ij (f j = F ij ) Mistry & Misener MIP & SMT Wednesday 11 th January, / 33
42 Scheduling Logical Formulations Relation to Bin Packing Time j c ij C i C Time Link between resource constrained scheduling & bin packing Garey et al. (1976); Castro and Grossmann (2012) Mistry & Misener MIP & SMT Wednesday 11 th January, / 33
43 Scheduling Optimisation strategies Mixed-Integer Programming Problem 0 < z < 1 Satisfiability Modulo Theories tighten objective bound Subproblem 1 Subproblem 2 z = 0 z = 1 SMT optimum MIP + SMT assignment MILP SMT optimum cuts Mistry & Misener MIP & SMT Wednesday 11 th January, / 33
44 Scheduling Hybrid Scheduling Minimise cost On each iteration, add a cut that removes the current assignment or a subset (subset results in a stronger cut) Minimise makespan On each iteration, add a cut based on local makespans Minimise tardiness On each iteration, add a cut based on local tardiness Mistry & Misener MIP & SMT Wednesday 11 th January, / 33
45 Scheduling Numerical Results Experimental Setup 335 problems 1 4 classes of problems: c, de, df, e 5 problems for each (i,j) instance Each problem given a time limit of 3600s Same set of problems used and generated by Hooker (2007). We compare our findings with his MILP/CP approach. SMT solver: Z3 MILP solver: Gurobi Hooker (2007) reports that the hybrid approach is the best choice for each objective 1 Mistry & Misener MIP & SMT Wednesday 11 th January, / 33
46 Scheduling Numerical Results Minimum Cost ρ SMT MILP Hybrid Hybrid with relaxation Can solve τ Figure: Solution time performance profile for all minimum cost models. Mistry & Misener MIP & SMT Wednesday 11 th January, / 33
47 Scheduling Numerical Results Minimum Cost problems solved within τ number of problems ,000 τ = run time best run time SMT MILP Hybrid Can solve Figure: Solution time performance profile for non toy minimum cost models. Mistry & Misener MIP & SMT Wednesday 11 th January, / 33
48 Scheduling Numerical Results Minimum Makespan problems solved within τ number of problems SMT MILP 0.2 Hybrid 0.1 Can solve ,000 τ = run time best run time Figure: Solution time performance profile for non toy minimum makespan problems. Mistry & Misener MIP & SMT Wednesday 11 th January, / 33
49 Scheduling Stepping Back What computer science methods should we incorporate? Satisfiability modulo theories Software verification Potential Hybrid optimisation/logic; Optimisation explainers e.g., Mistry and Misener (2017); Lundbaek et al. (2016) Anytime algorithms Artificial intelligence Potential Improve primal solutions, Approximation algorithms Theoretical computer science Potential Heuristic solutions with performance guarantees e.g., Furman and Sahinidis (2001), Ahmed and Sahinidis (2003) Functional programming Programming languages Potential Pattern matching, parallel programming e.g., Ceccon et al. (2016), Camarda & co-workers Others: Machine learning, Data science, Internet of things, HPC Mistry & Misener MIP & SMT Wednesday 11 th January, / 33
50 Thank You Thank you for listening. Questions? Funding: EPSRC EP/M028240/1, RAEng Fellowship Mistry & Misener MIP & SMT Wednesday 11 th January, / 33
51 References I Bjørner, N. and De Moura, L. (2011). Satisfiability Modulo Theories: Introduction and Applications. Communications of the ACM, 54(9): Bockmayr, A. and Kasper, T. (1998). Branch and Infer: A Unifying Framework for Integer and Finite Domain Constraint Programming. INFORMS Journal on Computing, 10(3): Bockmayr, A. and Kasper, T. (2004). Constraint and Integer Programming: Toward a Unified Methodology, chapter Branch-and-Infer: A Framework for Combining CP and IP, pages Springer US, Boston, MA. Castro, P. M. and Grossmann, I. E. (2012). From time representation in scheduling to the solution of strip packing problems. Computers & Chemical Engineering, 44: Mistry & Misener MIP & SMT Wednesday 11 th January, / 33
52 References II Ceccon, F., Kouyialis, G., and Misener, R. (2016). Using functional programming to recognize named structure in an optimization problem: Application to pooling. AIChE Journal, 62(9): Dolan, E. D. and Moré, J. J. (2002). Benchmarking optimization software with performance profiles. Math Program, 91(2): Garey, M. R., Graham, R. L., Johnson, D. S., and Yao, A. C.-C. (1976). Resource constrained scheduling as generalized bin packing. J Combin Theory, Ser A, 21(3): Hooker, J. N. (2007). Planning and Scheduling by Logic-Based Benders Decomposition. Operations Research, 55(3): Hooker, J. N. and Ottoson, G. (2003). Logic-based Benders decomposition. Mathematical Programming, 96(1): Jain, V. and Grossmann, I. E. (2001). Algorithms for Hybrid MILP/CP Models for a Class of Optimization Problems. INFORMS Journal on Computing, 13(4): Mistry & Misener MIP & SMT Wednesday 11 th January, / 33
53 References III Lodi, A., Martello, S., and Monaci, M. (2002). Two-dimensional packing problems: A survey. European Journal of Operational Research, 141(2): Lodi, A., Martello, S., and Vigo, D. (1999). Heuristic and metaheuristic approaches for a class of two-dimensional bin packing problems. INFORMS Journal on Computing, 11(4): Lundbaek, L.-N., Callia D Iddio, A., and Huth, M. (2016). Optimizing governed blockchains for financial process authentications. arxiv preprint arxiv: Maravelias, C. T. and Grossmann, I. E. (2004). A hybrid MILP/CP decomposition approach for the continuous time scheduling of multipurpose batch plants. Computers & Chemical Engineering, 28(10): Mistry & Misener MIP & SMT Wednesday 11 th January, / 33
54 References IV Maravelias, C. T. and Sung, C. (2009). Integration of production planning and scheduling: Overview, challenges and opportunities. Computers & Chemical Engineering, 33(12): Mistry, M. and Misener, R. (2017). Integrating mixed-integer optimisation & satisfiability modulo theories: Application to scheduling. In Maravelias, Wassick, et al., editors, Computer-Aided Chemical Engineering. Pisinger, D. and Sigurd, M. (2007). Using decomposition techniques and constraint programming for solving the two-dimensional bin-packing problem. INFORMS Journal on Computing, 19(1): Trespalacios, F. and Grossmann, I. E. (2016). Symmetry breaking for generalized disjunctive programming formulation of the strip packing problem. Annals of Operations Research, pages Mistry & Misener MIP & SMT Wednesday 11 th January, / 33
Integrating Mixed-Integer Optimisation and Satisfiability Modulo Theories: Application to Scheduling
Integrating Mixed-Integer Optimisation and Satisfiability Modulo Theories: Application to Scheduling M. Mistry and R. Misener Department of Computing, Imperial College London, South Kensington Campus,
More informationGlobal Solution of Mixed-Integer Dynamic Optimization Problems
European Symposium on Computer Arded Aided Process Engineering 15 L. Puigjaner and A. Espuña (Editors) 25 Elsevier Science B.V. All rights reserved. Global Solution of Mixed-Integer Dynamic Optimization
More informationThe goal of this paper is to develop models and methods that use complementary
for a Class of Optimization Problems Vipul Jain Ignacio E. Grossmann Department of Chemical Engineering, Carnegie Mellon University, Pittsburgh, Pennsylvania, 15213, USA Vipul_Jain@i2.com grossmann@cmu.edu
More informationA NEW SEQUENTIAL CUTTING PLANE ALGORITHM FOR SOLVING MIXED INTEGER NONLINEAR PROGRAMMING PROBLEMS
EVOLUTIONARY METHODS FOR DESIGN, OPTIMIZATION AND CONTROL P. Neittaanmäki, J. Périaux and T. Tuovinen (Eds.) c CIMNE, Barcelona, Spain 2007 A NEW SEQUENTIAL CUTTING PLANE ALGORITHM FOR SOLVING MIXED INTEGER
More informationBenders Decomposition
Benders Decomposition Using projections to solve problems thst@man.dtu.dk DTU-Management Technical University of Denmark 1 Outline Introduction Using projections Benders decomposition Simple plant location
More informationLarge-Scale Optimization and Logical Inference
Large-Scale Optimization and Logical Inference John Hooker Carnegie Mellon University October 2014 University College Cork Research Theme Large-scale optimization and logical inference. Optimization on
More informationModelling with Constraints
Masterclass Modelling with Constraints Part 1: Introduction Alan M Frisch Artificial Intelligence Group Dept of Computer Science University of York 12 December 2011 1 Motivation A modern generation of
More informationis shown that this problem can be modeled as an MILP, a CP, a combined MILP-CP OPL model (Hentenryck (1999)), and a hybrid MILP/CP model. The computat
Algorithms for hybrid MILP/CP models for a class of optimization problems Vipul Jain Λ and Ignacio E. Grossmann y Department of Chemical Engineering Carnegie Mellon University Pittsburgh, PA 15213 October
More informationFundamentals of Integer Programming
Fundamentals of Integer Programming Di Yuan Department of Information Technology, Uppsala University January 2018 Outline Definition of integer programming Formulating some classical problems with integer
More informationBenders in a nutshell Matteo Fischetti, University of Padova
Benders in a nutshell Matteo Fischetti, University of Padova ODS 2017, Sorrento, September 2017 1 Benders decomposition The original Benders decomposition from the 1960s uses two distinct ingredients for
More informationGraph Coloring via Constraint Programming-based Column Generation
Graph Coloring via Constraint Programming-based Column Generation Stefano Gualandi Federico Malucelli Dipartimento di Elettronica e Informatica, Politecnico di Milano Viale Ponzio 24/A, 20133, Milan, Italy
More informationThe AIMMS Outer Approximation Algorithm for MINLP
The AIMMS Outer Approximation Algorithm for MINLP (using GMP functionality) By Marcel Hunting marcel.hunting@aimms.com November 2011 This document describes how to use the GMP variant of the AIMMS Outer
More informationStochastic Separable Mixed-Integer Nonlinear Programming via Nonconvex Generalized Benders Decomposition
Stochastic Separable Mixed-Integer Nonlinear Programming via Nonconvex Generalized Benders Decomposition Xiang Li Process Systems Engineering Laboratory Department of Chemical Engineering Massachusetts
More informationThe Heuristic (Dark) Side of MIP Solvers. Asja Derviskadic, EPFL Vit Prochazka, NHH Christoph Schaefer, EPFL
The Heuristic (Dark) Side of MIP Solvers Asja Derviskadic, EPFL Vit Prochazka, NHH Christoph Schaefer, EPFL 1 Table of content [Lodi], The Heuristic (Dark) Side of MIP Solvers, Hybrid Metaheuristics, 273-284,
More informationOutline. Column Generation: Cutting Stock A very applied method. Introduction to Column Generation. Given an LP problem
Column Generation: Cutting Stock A very applied method thst@man.dtu.dk Outline History The Simplex algorithm (re-visited) Column Generation as an extension of the Simplex algorithm A simple example! DTU-Management
More informationColumn Generation: Cutting Stock
Column Generation: Cutting Stock A very applied method thst@man.dtu.dk DTU-Management Technical University of Denmark 1 Outline History The Simplex algorithm (re-visited) Column Generation as an extension
More informationLagrangean Relaxation of the Hull-Reformulation of Linear Generalized Disjunctive Programs and its use in Disjunctive Branch and Bound
Lagrangean Relaxation of the Hull-Reformulation of Linear Generalized Disjunctive Programs and its use in Disjunctive Branch and Bound Francisco Trespalacios, Ignacio E. Grossmann Department of Chemical
More informationModern Benders (in a nutshell)
Modern Benders (in a nutshell) Matteo Fischetti, University of Padova (based on joint work with Ivana Ljubic and Markus Sinnl) Lunteren Conference on the Mathematics of Operations Research, January 17,
More informationAn Efficient MILP Model for the Short-Term. Scheduling of Single Stage Batch Plants
An Efficient MILP Model for the Short-Term Scheduling of Single Stage Batch Plants Pedro M. Castro *,, and Ignacio E. Grossmann Departamento de Modelação e Simulação de Processos, INETI, 1649-038 Lisboa,
More informationThe AIMMS Outer Approximation Algorithm for MINLP
The AIMMS Outer Approximation Algorithm for MINLP (using GMP functionality) By Marcel Hunting Paragon Decision Technology BV An AIMMS White Paper November, 2011 Abstract This document describes how to
More informationSatisfiability Modulo Theory based Methodology for Floorplanning in VLSI Circuits
Satisfiability Modulo Theory based Methodology for Floorplanning in VLSI Circuits Suchandra Banerjee Anand Ratna Suchismita Roy mailnmeetsuchandra@gmail.com pacific.anand17@hotmail.com suchismita27@yahoo.com
More informationPenalty Alternating Direction Methods for Mixed- Integer Optimization: A New View on Feasibility Pumps
Penalty Alternating Direction Methods for Mixed- Integer Optimization: A New View on Feasibility Pumps Björn Geißler, Antonio Morsi, Lars Schewe, Martin Schmidt FAU Erlangen-Nürnberg, Discrete Optimization
More informationExperiments On General Disjunctions
Experiments On General Disjunctions Some Dumb Ideas We Tried That Didn t Work* and Others We Haven t Tried Yet *But that may provide some insight Ted Ralphs, Serdar Yildiz COR@L Lab, Department of Industrial
More informationCutting Stock with Binary Patterns: Arc-flow Formulation with Graph Compression
Cutting Stock with Binary Patterns: Arc-flow Formulation with Graph Compression Filipe Brandão INESC TEC and Faculdade de Ciências, Universidade do Porto, Portugal fdabrandao@dcc.fc.up.pt arxiv:1502.02899v1
More informationRecent Work. Methods for solving large-scale scheduling and combinatorial optimization problems. Outline. Outline
Seminar, NTNU, Trondheim, 3.1.2001 Methods for solving large-scale scheduling and combinatorial optimization s Iiro Harjunkoski (in collaboration with Ignacio E. Grossmann) Department of Chemical Engineering
More informationPseudo-polynomial formulations for bin packing and cutting stock problems
Pseudo-polynomial formulations for bin packing and cutting stock problems Maxence Delorme (1) Manuel Iori (2) (1) DEI, University of Bologna, Italy, (2) DISMI, University of Modena and Reggio Emilia, Italy
More informationOn the Global Solution of Linear Programs with Linear Complementarity Constraints
On the Global Solution of Linear Programs with Linear Complementarity Constraints J. E. Mitchell 1 J. Hu 1 J.-S. Pang 2 K. P. Bennett 1 G. Kunapuli 1 1 Department of Mathematical Sciences RPI, Troy, NY
More information3 INTEGER LINEAR PROGRAMMING
3 INTEGER LINEAR PROGRAMMING PROBLEM DEFINITION Integer linear programming problem (ILP) of the decision variables x 1,..,x n : (ILP) subject to minimize c x j j n j= 1 a ij x j x j 0 x j integer n j=
More informationImproving Dual Bound for Stochastic MILP Models Using Sensitivity Analysis
Improving Dual Bound for Stochastic MILP Models Using Sensitivity Analysis Vijay Gupta Ignacio E. Grossmann Department of Chemical Engineering Carnegie Mellon University, Pittsburgh Bora Tarhan ExxonMobil
More informationCombining forces to solve Combinatorial Problems, a preliminary approach
Combining forces to solve Combinatorial Problems, a preliminary approach Mohamed Siala, Emmanuel Hebrard, and Christian Artigues Tarbes, France Mohamed SIALA April 2013 EDSYS Congress 1 / 19 Outline Context
More informationReview of Mixed-Integer Nonlinear and Generalized Disjunctive Programming Methods
Carnegie Mellon University Research Showcase @ CMU Department of Chemical Engineering Carnegie Institute of Technology 2-2014 Review of Mixed-Integer Nonlinear and Generalized Disjunctive Programming Methods
More informationFinancial Optimization ISE 347/447. Lecture 13. Dr. Ted Ralphs
Financial Optimization ISE 347/447 Lecture 13 Dr. Ted Ralphs ISE 347/447 Lecture 13 1 Reading for This Lecture C&T Chapter 11 ISE 347/447 Lecture 13 2 Integer Linear Optimization An integer linear optimization
More informationEfficient Synthesis of Production Schedules by Optimization of Timed Automata
Efficient Synthesis of Production Schedules by Optimization of Timed Automata Inga Krause Institute of Automatic Control Engineering Technische Universität München inga.krause@mytum.de Joint Advanced Student
More informationMathematical Programming Formulations, Constraint Programming
Outline DM87 SCHEDULING, TIMETABLING AND ROUTING Lecture 3 Mathematical Programming Formulations, Constraint Programming 1. Special Purpose Algorithms 2. Constraint Programming Marco Chiarandini DM87 Scheduling,
More informationCutting Planes for Some Nonconvex Combinatorial Optimization Problems
Cutting Planes for Some Nonconvex Combinatorial Optimization Problems Ismael Regis de Farias Jr. Department of Industrial Engineering Texas Tech Summary Problem definition Solution strategy Multiple-choice
More informationBranch-and-cut implementation of Benders decomposition Matteo Fischetti, University of Padova
Branch-and-cut implementation of Benders decomposition Matteo Fischetti, University of Padova 8th Cargese-Porquerolles Workshop on Combinatorial Optimization, August 2017 1 Mixed-Integer Programming We
More informationThe Branch & Move algorithm: Improving Global Constraints Support by Local Search
Branch and Move 1 The Branch & Move algorithm: Improving Global Constraints Support by Local Search Thierry Benoist Bouygues e-lab, 1 av. Eugène Freyssinet, 78061 St Quentin en Yvelines Cedex, France tbenoist@bouygues.com
More informationOpenMath and SMT-LIB
James, Matthew England, Roberto Sebastiani & Patrick Trentin 1 Universities of Bath/Coventry/Trento/Trento J.H.@bath.ac.uk 17 July 2017 1 Thanks to EU H2020-FETOPEN-2016-2017-CSA project SC 2 (712689)
More informationPrinciples of Optimization Techniques to Combinatorial Optimization Problems and Decomposition [1]
International Journal of scientific research and management (IJSRM) Volume 3 Issue 4 Pages 2582-2588 2015 \ Website: www.ijsrm.in ISSN (e): 2321-3418 Principles of Optimization Techniques to Combinatorial
More informationSolving a Challenging Quadratic 3D Assignment Problem
Solving a Challenging Quadratic 3D Assignment Problem Hans Mittelmann Arizona State University Domenico Salvagnin DEI - University of Padova Quadratic 3D Assignment Problem Quadratic 3D Assignment Problem
More informationSolving a Challenging Quadratic 3D Assignment Problem
Solving a Challenging Quadratic 3D Assignment Problem Hans Mittelmann Arizona State University Domenico Salvagnin DEI - University of Padova Quadratic 3D Assignment Problem Quadratic 3D Assignment Problem
More informationIntroduction to Mathematical Programming IE406. Lecture 20. Dr. Ted Ralphs
Introduction to Mathematical Programming IE406 Lecture 20 Dr. Ted Ralphs IE406 Lecture 20 1 Reading for This Lecture Bertsimas Sections 10.1, 11.4 IE406 Lecture 20 2 Integer Linear Programming An integer
More informationGraph Coloring Facets from a Constraint Programming Formulation
Graph Coloring Facets from a Constraint Programming Formulation David Bergman J. N. Hooker Carnegie Mellon University INFORMS 2011 Motivation 0-1 variables often encode choices that can be represented
More informationOutline. Modeling. Outline DMP204 SCHEDULING, TIMETABLING AND ROUTING. 1. Models Lecture 5 Mixed Integer Programming Models and Exercises
Outline DMP204 SCHEDULING, TIMETABLING AND ROUTING 1. Lecture 5 Mixed Integer Programming and Exercises Marco Chiarandini 2. 3. 2 Outline Modeling 1. Min cost flow Shortest path 2. Max flow Assignment
More informationMachine Learning for Software Engineering
Machine Learning for Software Engineering Introduction and Motivation Prof. Dr.-Ing. Norbert Siegmund Intelligent Software Systems 1 2 Organizational Stuff Lectures: Tuesday 11:00 12:30 in room SR015 Cover
More informationStandard dimension optimization of steel frames
Computer Aided Optimum Design in Engineering IX 157 Standard dimension optimization of steel frames U. Klanšek & S. Kravanja University of Maribor, Faculty of Civil Engineering, Slovenia Abstract This
More informationDiscrete Optimization. Lecture Notes 2
Discrete Optimization. Lecture Notes 2 Disjunctive Constraints Defining variables and formulating linear constraints can be straightforward or more sophisticated, depending on the problem structure. The
More information2. Modeling AEA 2018/2019. Based on Algorithm Engineering: Bridging the Gap Between Algorithm Theory and Practice - ch. 2
2. Modeling AEA 2018/2019 Based on Algorithm Engineering: Bridging the Gap Between Algorithm Theory and Practice - ch. 2 Content Introduction Modeling phases Modeling Frameworks Graph Based Models Mixed
More informationPivot and Gomory Cut. A MIP Feasibility Heuristic NSERC
Pivot and Gomory Cut A MIP Feasibility Heuristic Shubhashis Ghosh Ryan Hayward shubhashis@randomknowledge.net hayward@cs.ualberta.ca NSERC CGGT 2007 Kyoto Jun 11-15 page 1 problem given a MIP, find a feasible
More informationIndex. optimal package assignments, 143 optimal package assignments, symmetrybreaking,
A Abstract approach, 79 Amphibian coexistence aquarium, 7 executes, 16 model, 13 15 modeling languages, 11 12 MPSolver, 12 OR-Tools library, 12 preys, 7 run a model, 17 18 solution, 17 three-step approach,
More informationSymbolic and Concolic Execution of Programs
Symbolic and Concolic Execution of Programs Information Security, CS 526 Omar Chowdhury 10/7/2015 Information Security, CS 526 1 Reading for this lecture Symbolic execution and program testing - James
More informationLagrangian Relaxation in CP
Lagrangian Relaxation in CP Willem-Jan van Hoeve CPAIOR 016 Master Class Overview 1. Motivation for using Lagrangian Relaxations in CP. Lagrangian-based domain filtering Example: Traveling Salesman Problem.
More informationApplied Mixed Integer Programming: Beyond 'The Optimum'
Applied Mixed Integer Programming: Beyond 'The Optimum' 14 Nov 2016, Simons Institute, Berkeley Pawel Lichocki Operations Research Team, Google https://developers.google.com/optimization/ Applied Mixed
More informationSurrogate Gradient Algorithm for Lagrangian Relaxation 1,2
Surrogate Gradient Algorithm for Lagrangian Relaxation 1,2 X. Zhao 3, P. B. Luh 4, and J. Wang 5 Communicated by W.B. Gong and D. D. Yao 1 This paper is dedicated to Professor Yu-Chi Ho for his 65th birthday.
More informationDiscrete Optimization with Decision Diagrams
Discrete Optimization with Decision Diagrams J. N. Hooker Joint work with David Bergman, André Ciré, Willem van Hoeve Carnegie Mellon University Australian OR Society, May 2014 Goal Find an alternative
More information12/7/2006. Outline. Generalized Conflict Learning for Hybrid Discrete/Linear Optimization. Forward Conflict-Directed Search
2/7/26 Massachusetts Institute of Technology Generalized Conflict Learning for Hybrid Discrete/Linear Optimization Hui Li and Brian Williams Computer Science and Artificial Intelligence Laboratory Massachusetts
More informationMinimum Satisfying Assignments for SMT. Işıl Dillig, Tom Dillig Ken McMillan Alex Aiken College of William & Mary Microsoft Research Stanford U.
Minimum Satisfying Assignments for SMT Işıl Dillig, Tom Dillig Ken McMillan Alex Aiken College of William & Mary Microsoft Research Stanford U. 1 / 20 Satisfiability Modulo Theories (SMT) Today, SMT solvers
More informationA Center-Cut Algorithm for Quickly Obtaining Feasible Solutions and Solving Convex MINLP Problems
A Center-Cut Algorithm for Quickly Obtaining Feasible Solutions and Solving Convex MINLP Problems Jan Kronqvist a, David E. Bernal b, Andreas Lundell a, and Tapio Westerlund a a Faculty of Science and
More informationAn MILP Model for Short Term Scheduling. of a Special Class of Multipurpose Batch Plants
An MILP Model for hort Term cheduling of a pecial Class of Multipurpose Batch Plants ungdeuk Moon and Andrew N. Hrymak McMaster Advanced Control Consortium Department of Chemical Engineering, McMaster
More informationImproving the heuristic performance of Benders decomposition
Improving the heuristic performance of Benders decomposition Stephen J. Maher Department of Management Science, Lancaster University, Bailrigg, Lancaster LA1 4YX, UK Abstract A general enhancement of the
More informationBilinear Programming
Bilinear Programming Artyom G. Nahapetyan Center for Applied Optimization Industrial and Systems Engineering Department University of Florida Gainesville, Florida 32611-6595 Email address: artyom@ufl.edu
More informationArc-Flow Model for the Two-Dimensional Cutting Stock Problem
Arc-Flow Model for the Two-Dimensional Cutting Stock Problem Rita Macedo Cláudio Alves J. M. Valério de Carvalho Centro de Investigação Algoritmi, Universidade do Minho Escola de Engenharia, Universidade
More informationT S 2 P ACK: A Two-Level Tabu Search for the Three-dimensional Bin Packing Problem
T S 2 P ACK: A Two-Level Tabu Search for the Three-dimensional Bin Packing Problem Teodor Gabriel Crainic Département de management et technologie École des sciences de la gestion, U.Q.A.M. and CIRRELT,
More informationMarcia Fampa Universidade Federal do Rio de Janeiro Rio de Janeiro, RJ, Brazil
A specialized branch-and-bound algorithm for the Euclidean Steiner tree problem in n-space Marcia Fampa Universidade Federal do Rio de Janeiro Rio de Janeiro, RJ, Brazil fampa@cos.ufrj.br Jon Lee University
More informationComplete Instantiation of Quantified Formulas in Satisfiability Modulo Theories. ACSys Seminar
Complete Instantiation of Quantified Formulas in Satisfiability Modulo Theories Yeting Ge Leonardo de Moura ACSys Seminar 2008.12 Motivation SMT solvers have been successful Quantified smt formulas are
More informationHeuristics in Commercial MIP Solvers Part I (Heuristics in IBM CPLEX)
Andrea Tramontani CPLEX Optimization, IBM CWI, Amsterdam, June 12, 2018 Heuristics in Commercial MIP Solvers Part I (Heuristics in IBM CPLEX) Agenda CPLEX Branch-and-Bound (B&B) Primal heuristics in CPLEX
More informationDecision Procedures in the Theory of Bit-Vectors
Decision Procedures in the Theory of Bit-Vectors Sukanya Basu Guided by: Prof. Supratik Chakraborty Department of Computer Science and Engineering, Indian Institute of Technology, Bombay May 1, 2010 Sukanya
More informationAn Introduction to Satisfiability Modulo Theories
An Introduction to Satisfiability Modulo Theories Philipp Rümmer Uppsala University Philipp.Ruemmer@it.uu.se February 13, 2019 1/28 Outline From theory... From DPLL to DPLL(T) Slides courtesy of Alberto
More informationAutomated Software Synthesis for Complex Robotic Systems
Automated Software Synthesis for Complex Robotic Systems Indranil Saha Department of Computer Science and Engineering Indian Institute of Technology Kanpur Indranil Saha Automated Software Synthesis for
More informationSolving Resource-Constrained Scheduling Problems with Exact Methods
Solving Resource-Constrained Scheduling Problems with Exact Methods Jordi Coll Caballero Advisor: Enric Rodríguez Carbonell Department of Computer Science Co-Advisor: Josep Suy Franch Departament d Informàtica,
More informationA Row-and-Column Generation Method to a Batch Machine Scheduling Problem
The Ninth International Symposium on Operations Research and Its Applications (ISORA 10) Chengdu-Jiuzhaigou, China, August 19 23, 2010 Copyright 2010 ORSC & APORC, pp. 301 308 A Row-and-Column Generation
More informationDeductive Methods, Bounded Model Checking
Deductive Methods, Bounded Model Checking http://d3s.mff.cuni.cz Pavel Parízek CHARLES UNIVERSITY IN PRAGUE faculty of mathematics and physics Deductive methods Pavel Parízek Deductive Methods, Bounded
More informationCourse Summary! What have we learned and what are we expected to know?
Course Summary! What have we learned and what are we expected to know? Overview! Introduction Modelling in MiniZinc Finite Domain Constraint Solving Search Linear Programming and Network Flow Mixed Integer
More informationHeuristics in MILP. Group 1 D. Assouline, N. Molyneaux, B. Morén. Supervisors: Michel Bierlaire, Andrea Lodi. Zinal 2017 Winter School
Heuristics in MILP Group 1 D. Assouline, N. Molyneaux, B. Morén Supervisors: Michel Bierlaire, Andrea Lodi Zinal 2017 Winter School 0 / 23 Primal heuristics Original paper: Fischetti, M. and Lodi, A. (2011).
More informationRecursive column generation for the Tactical Berth Allocation Problem
Recursive column generation for the Tactical Berth Allocation Problem Ilaria Vacca 1 Matteo Salani 2 Michel Bierlaire 1 1 Transport and Mobility Laboratory, EPFL, Lausanne, Switzerland 2 IDSIA, Lugano,
More informationHybrid Constraint Solvers
Hybrid Constraint Solvers - An overview Why Hybrid Solvers CP and SAT: Lazy Clause Generation CP and LP: Reification of Linear Constraints Conclusions 9 November 2011 Pedro Barahona - EPCL - Hybrid Solvers
More informationResearch Interests Optimization:
Mitchell: Research interests 1 Research Interests Optimization: looking for the best solution from among a number of candidates. Prototypical optimization problem: min f(x) subject to g(x) 0 x X IR n Here,
More informationAlgorithms for the Bin Packing Problem with Conflicts
Algorithms for the Bin Packing Problem with Conflicts Albert E. Fernandes Muritiba *, Manuel Iori, Enrico Malaguti*, Paolo Toth* *Dipartimento di Elettronica, Informatica e Sistemistica, Università degli
More informationBasic Concepts of Constraint Integer Programming
Basic Concepts of Constraint Integer Programming Ambros Gleixner Zuse Institute Berlin September 30, 2015 Outline SCIP Solving Constraint Integer Programs 4 methodologies in optimization An integrated
More informationA robust optimization based approach to the general solution of mp-milp problems
21 st European Symposium on Computer Aided Process Engineering ESCAPE 21 E.N. Pistikopoulos, M.C. Georgiadis and A. Kokossis (Editors) 2011 Elsevier B.V. All rights reserved. A robust optimization based
More informationTIM 206 Lecture Notes Integer Programming
TIM 206 Lecture Notes Integer Programming Instructor: Kevin Ross Scribe: Fengji Xu October 25, 2011 1 Defining Integer Programming Problems We will deal with linear constraints. The abbreviation MIP stands
More informationWeight Annealing Heuristics for Solving the Two-Dimensional Bin Packing Problem
Weight Annealing Heuristics for Solving the Two-Dimensional Bin Packing Problem Kok-Hua Loh, Nanyang Technological University Bruce Golden, University of Maryland Edward Wasil, American University th ICS
More informationlpsymphony - Integer Linear Programming in R
lpsymphony - Integer Linear Programming in R Vladislav Kim October 30, 2017 Contents 1 Introduction 2 2 lpsymphony: Quick Start 2 3 Integer Linear Programming 5 31 Equivalent and Dual Formulations 5 32
More informationSolving the Euclidean Steiner Tree Problem in n-space
Solving the Euclidean Steiner Tree Problem in n-space Marcia Fampa (UFRJ), Jon Lee (U. Michigan), and Wendel Melo (UFRJ) January 2015 Marcia Fampa, Jon Lee, Wendel Melo Solving the Euclidean Steiner Tree
More informationTutorial on Integer Programming for Visual Computing
Tutorial on Integer Programming for Visual Computing Peter Wonka and Chi-han Peng November 2018 1 1 Notation The vector space is denoted as R,R n,r m n,v,w Matricies are denoted by upper case, italic,
More informationCourse Introduction. Scheduling: Terminology and Classification
Outline DM87 SCHEDULING, TIMETABLING AND ROUTING Lecture 1 Course Introduction. Scheduling: Terminology and Classification 1. Course Introduction 2. Scheduling Problem Classification Marco Chiarandini
More informationThe MIP-Solving-Framework SCIP
The MIP-Solving-Framework SCIP Timo Berthold Zuse Institut Berlin DFG Research Center MATHEON Mathematics for key technologies Berlin, 23.05.2007 What Is A MIP? Definition MIP The optimization problem
More informationBatch Scheduling of MultiProduct Pipeline Networks
Batch Scheduling of MultiProduct Pipeline Networks Delft Center for Systems and Control Batch Scheduling of Multi- Product Pipeline Networks For the degree of Master of Science in Systems and Control
More informationComputational Integer Programming. Lecture 12: Branch and Cut. Dr. Ted Ralphs
Computational Integer Programming Lecture 12: Branch and Cut Dr. Ted Ralphs Computational MILP Lecture 12 1 Reading for This Lecture Wolsey Section 9.6 Nemhauser and Wolsey Section II.6 Martin Computational
More informationLagrangean Methods bounding through penalty adjustment
Lagrangean Methods bounding through penalty adjustment thst@man.dtu.dk DTU-Management Technical University of Denmark 1 Outline Brief introduction How to perform Lagrangean relaxation Subgradient techniques
More informationValidating Plans with Durative Actions via Integrating Boolean and Numerical Constraints
Validating Plans with Durative Actions via Integrating Boolean and Numerical Constraints Roman Barták Charles University in Prague, Faculty of Mathematics and Physics Institute for Theoretical Computer
More informationHybrid Constraint Programming and Metaheuristic methods for Large Scale Optimization Problems
Hybrid Constraint Programming and Metaheuristic methods for Large Scale Optimization Problems Fabio Parisini Tutor: Paola Mello Co-tutor: Michela Milano Final seminars of the XXIII cycle of the doctorate
More informationOutline of the module
Evolutionary and Heuristic Optimisation (ITNPD8) Lecture 2: Heuristics and Metaheuristics Gabriela Ochoa http://www.cs.stir.ac.uk/~goc/ Computing Science and Mathematics, School of Natural Sciences University
More informationHySAT. what you can use it for how it works example from application domain final remarks. Christian Herde /12
CP2007: Presentation of recent CP solvers HySAT what you can use it for how it works example from application domain final remarks Christian Herde 25.09.2007 /2 What you can use it for Satisfiability checker
More informationA Comparison of Mixed-Integer Programming Models for Non-Convex Piecewise Linear Cost Minimization Problems
A Comparison of Mixed-Integer Programming Models for Non-Convex Piecewise Linear Cost Minimization Problems Keely L. Croxton Fisher College of Business The Ohio State University Bernard Gendron Département
More informationInteger Programming and Network Modeis
H.A. Eiselt C.-L. Sandblom Integer Programming and Network Modeis With Contributions by K. Spielberg, E. Richards, B.T. Smith, G. Laporte, B.T. Boffey With 165 Figures and 43 Tables &m Springer CONTENTS
More informationGENERAL ASSIGNMENT PROBLEM via Branch and Price JOHN AND LEI
GENERAL ASSIGNMENT PROBLEM via Branch and Price JOHN AND LEI Outline Review the column generation in Generalized Assignment Problem (GAP) GAP Examples in Branch and Price 2 Assignment Problem The assignment
More informationA Nonlinear Presolve Algorithm in AIMMS
A Nonlinear Presolve Algorithm in AIMMS By Marcel Hunting marcel.hunting@aimms.com November 2011 This paper describes the AIMMS presolve algorithm for nonlinear problems. This presolve algorithm uses standard
More informationHow to use your favorite MIP Solver: modeling, solving, cannibalizing. Andrea Lodi University of Bologna, Italy
How to use your favorite MIP Solver: modeling, solving, cannibalizing Andrea Lodi University of Bologna, Italy andrea.lodi@unibo.it January-February, 2012 @ Universität Wien A. Lodi, How to use your favorite
More informationEvaluating the SMT-LIB repository as a benchmark source for software verification
Erasusmus Mundus Summer School 30th June 2015 Evaluating the SMT-LIB repository as a benchmark source for software verification Andrew Healy, MSc Computer Science (by Research) Maynooth University, Ireland
More information