Modelling either-or relations in integer programming

DOI10.1007/S10479-008-0409-ZMaRDI QIDQ1026568zbMATH OpenOpenAlexFDO

Authors John M. Wilson, Les R. Foulds, Bilal Toklu

Publication date 25 June 2009

Published in Annals of Operations Research (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10479-008-0409-z

zbMATH Keywords

integer programmingformulationcutslogical conditions

Mathematics Subject Classification ID

Integer programming (90C10)

Recommendations

• Logic and integer programming
• Some notes on logical expression in the 0-1 integer programming model
• Constructing integer programming models by the predicate calculus
• Formulating logical implications in combinatorial optimisation
• On mathematical programming with indicator constraints

Cites work

• A Class of Hard Small 0-1 Programs
• A heuristic for multiple-feeder PCB manufacturing
• A precise correspondence between lift-and-project cuts, simple disjunctive cuts, and mixed integer gomory cuts for 0-1 programming
• A strategic model for supply chain design with logical constraints: Formulation and solution.
• An algorithm for disjunctive programs
• Branch and Infer: A Unifying Framework for Integer and Finite Domain Constraint Programming
• Constructing integer programming models by the predicate calculus
• Crew assignment via constraint programming: Integrating column generation and heuristic tree search
• Disjunctive Programming
• Disjunctive programming: Properties of the convex hull of feasible points
• Experimental Results on the New Techniques for Integer Programming Formulations
• Logic-based 0-1 constraint programming
• Logical processing for integer programming
• Mixed logical-linear programming
• Model building in mathematical programming.
• Modelling with integer variables
• On unions and dominants of polytopes
• Projection, lifting and extended formulation integer and combinatorial optimization
• Representability in mixed integer programming. I: Characterization results
• The splitting of variables and constraints in the formulation of integer programming models
• Tight representation of logical constraints as cardinality rules
• Tools for reformulating logical forms into zero-one mixed integer programs

Cited in

(6)

• The interface between OR/MS and decision theory
• Generalised Integer Programming Based on Logically Defined Relations
• Integer programming models for the q-mode problem
• Formulating logical implications in combinatorial optimisation
• Some notes on logical expression in the 0-1 integer programming model
• An ILP model with logical constraints for mail sorting facility selection

Describes a project that uses

Uses Software

• OPBDP

This page was built for publication: Modelling either-or relations in integer programming

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1026568)