Computer Assisted Analysis and Modelling of Structured Problems
Interim rept. no. 6, Dec 1988-Mar 1990
BRUNEL UNIV UXBRIDGE (UNITED KINGDOM)
Pagination or Media Count:
Our research efforts are focused on developing a systematic procedure for transforming a set of logical conditions imposed on a mathematical optimisation model into an integer linear programming formulation. Through reformulation of logical forms into integer forms we support a uniform and powerful representation of a problem, consisting of a tightly interrelated closed system of choices. We describe a systematic approach for transforming statements in Boolean Algebra into integer or mixed integer linear programmes. The method is particularly suitable as a modelling technique that allows logical relationships connecting variables and linear constraints to be modelled as integer and mixed integer programmes. We are preparing and illustrating a few example logic problems processed by this method which are set out to explain reformulation and modelling techniques.
- Operations Research