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

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

• UIMP
• AMPL

Cites Work

• 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)
• Unnamed Item
• Unnamed Item
• Unnamed Item

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