Constructing integer programming models by the predicate calculus

DOI10.1007/BF02022101zbMath0705.90062OpenAlexW1983565714MaRDI QIDQ918417

K. I. M. McKinnon, H. Paul Williams

Publication date: 1989

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

Full work available at URL: https://doi.org/10.1007/bf02022101

zbMATH Keywords

predicate calculusmodelling language

Mathematics Subject Classification ID

Integer programming (90C10) Theory of programming languages (68N15)

Related Items

Exact stochastic constraint optimisation with applications in network analysis, Logic applied to integer programming and integer programming applied to logic, A strategic model for supply chain design with logical constraints: Formulation and solution., A mathematical programming model for multiple integrated MRP planning stages, Modelling either-or relations in integer programming, A linear and discrete programming framework for representing qualitative knowledge, Formulating logical implications in combinatorial optimisation, Tools for reformulating logical forms into zero-one mixed integer programs, An alternative explanation of disjunctive formulations

Cites Work

• Unnamed Item
• Unnamed Item
• Redundancy in mathematical programming. A state-of-the-art survey
• Representability in mixed integer programming. I: Characterization results
• Modelling with integer variables
• Experimental Results on the New Techniques for Integer Programming Formulations
• Multicommodity Distribution System Design by Benders Decomposition
• Analysis of mathematical programming problems prior to applying the simplex algorithm
• The reformulation of two mixed integer programming problems
• Contributions to the Theory of Optimal Control. A General Procedure for the Computation of Switching Manifolds