TOOLS FOR REFORMULATING LOGICAL FORMS INTO ZERO-ONE MIXED-INTEGER PROGRAMS

A systematic procedure for transforming a set of logical statements or logical conditions imposed on a model into an Integer Linear Programm ing (ILP) formulation or a Mixed Integer Programming (MIP) formulation is presented. A reformulation procedure which uses the extended rever se Polish notation to represent a compound logical form is then descri bed. The syntax of an LP modelling language is extended to incorporate statements in propositional logic forms with linear algebraic forms w hereby 0-1 MIP models can be automatically formulated. A prototype use r interface by which logical forms can be reformulated and the corresp onding MIP constructed and analysed within an existing Mathematical Pr ogramming modelling system is illustrated. Finally, the steps to formu late a discrete optimisation model in this way are illustrated by mean s of an example.