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

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

Gautam Mitra, Eleni Hadjiconstantinou, Shirley Moody, Cormac Lucas

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

Mixed integer programming (90C11) Linear programming (90C05) Theory of programming languages (68N15) Boolean programming (90C09)

Related Items (10)

Linear temporal logic vehicle routing with applications to multi-UAV mission planning ⋮ New constructs for the description of combinatorial optimization problems in algebraic modeling languages ⋮ Logic applied to integer programming and integer programming applied to logic ⋮ A combined CLP-MILP approach for scheduling commodities in a pipeline ⋮ Um modelo híbrido (CLP-MILP) para scheduling de operações em polidutos ⋮ A mathematical programming model for multiple integrated MRP planning stages ⋮ Modelling either-or relations in integer programming ⋮ 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

Uses Software

• AMPL
• Unnamed Item

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)

This page was built for publication: Tools for reformulating logical forms into zero-one mixed integer programs