Brunel University Research Archive (BURA) >
Schools >
School of Information Systems, Computing and Mathematics >
Mathematics Technical Papers >

Please use this identifier to cite or link to this item: http://bura.brunel.ac.uk/handle/2438/2328

Title: Tools for reformulating logical forms into zero-one mixed integer programs (MIPS)
Authors: Lucas, CA
Mitra, G
Moody, S
Publication Date: 1992
Publisher: Brunel University
Citation: Maths Technical Papers (Brunel University). April 1992, pp 1-27
Series/Report no.: ;TR/03/92
Abstract: A systematic procedure for transforming a set of logical statements or logical conditions imposed on a model into an Integer Linear Programming (ILP) formulation or a Mixed Integer Programming (MIP) formulation is presented. A reformulation procedure which uses the extended reverse polish representation of a compound logical form is then described. A prototype user interface by which logical forms can be reformulated and the corresponding MIP constructed and analysed within an existing Mathematical Programming modelling system is illustrated. Finally, the steps to formulate a discrete optimisation model in this way are demonstrated by means of an example.
URI: http://bura.brunel.ac.uk/handle/2438/2328
Appears in Collections:Mathematics Technical Papers

Files in This Item:

File Description SizeFormat
TR_03_92.pdf306.32 kBAdobe PDFView/Open

Items in BURA are protected by copyright, with all rights reserved, unless otherwise indicated.

 


Library (c) Brunel University.    Powered By: DSpace
Send us your
Feedback. Last Updated: September 14, 2010.
Managed by:
Hassan Bhuiyan