Computer Assisted Analysis and Modelling of Structured Problems

Abstract

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.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
May 29, 1990
Accession Number
ADA222991

Entities

People

  • E. Hadjiconstantinou
  • G. Mitra

Organizations

  • Brunel University London

Tags

Communities of Interest

  • C4I

DTIC Thesaurus Topics

  • Availability
  • Boolean Algebra
  • Calculus
  • Classification
  • Computer Programming
  • Indicators
  • Inequalities
  • Integer Programming
  • Linear Programming
  • Logic
  • Mathematical Programming
  • Optimization
  • Security
  • Universities

Fields of Study

  • Mathematics

Readers

  • Computational Linguistics
  • Computational Modeling and Simulation
  • Linear Algebra