Tools for reformulating logical forms into zero-one mixed integer programs

DOI10.1016/0377-2217(94)90308-5zbMath0800.90719MaRDI QIDQ1317155

Eleni Hadjiconstantinou, Gautam Mitra, Cormac Lucas, Shirley Moody

Publication date: 13 March 1994

Published in: European Journal of Operational Research (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0377-2217(94)90308-5

Mathematics Subject Classification ID

90C11: Mixed integer programming

90C05: Linear programming

68N15: Theory of programming languages

90C09: Boolean programming

Related Items

A mathematical programming model for multiple integrated MRP planning stages, Logic applied to integer programming and integer programming applied to logic, A branch and bound algorithm for mixed zero-one multiple objective linear programming, Formulating logical implications in combinatorial optimisation, Construction of rule-based assignment models, New constructs for the description of combinatorial optimization problems in algebraic modeling languages

Uses Software

• UIMP
• AMPL

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Maintaining knowledge about temporal intervals
• Constructing integer programming models by the predicate calculus
• A language and a program for stating and solving combinatorial problems
• LP modeling languages for personal computers: A comparison
• New constructs for the description of combinatorial optimization problems in algebraic modeling languages
• UIMP: User Interface for Mathematical Programming
• The SML Language for Structured Modeling: Levels 3 and 4
• Analysis of mathematical programming problems prior to applying the simplex algorithm
• Introduction to Mathematical Logic (PMS-13)