Cookies?
Library Header Image
LSE Research Online LSE Library Services

Constructing integer programming models by the predicate calculus

McKinnon, K. I. M. and Williams, H. Paul (1989) Constructing integer programming models by the predicate calculus. Annals of Operations Research, 21 . pp. 227-245. ISSN 0254-5330

Full text not available from this repository.

Abstract

A modelling language for Integer Programming (IP) based on the Predicate Calculus is described. This is particularly suitable for building models with logical conditions. Using this language a model is specified in terms of predicates. This is then converted automatically by a series of transformation rules into a normal form from which an IP model can be created. There is also some discussion of alternative IP formulations which can be incorporated into the system as options. Further practical considerations are discussed briefly concerning implementation language and incorporation into practical Mathematical Programming Systems.

Item Type: Article
Official URL: http://www.springer.com/business+%26+management/op...
Additional Information: © 1989 Springer Science & Business Media B.V.
Library of Congress subject classification: Q Science > QA Mathematics
Sets: Research centres and groups > Management Science Group
Departments > Management
Rights: http://www.lse.ac.uk/library/usingTheLibrary/academicSupport/OA/depositYourResearch.aspx
Date Deposited: 24 Jan 2011 15:33
URL: http://eprints.lse.ac.uk/31641/

Actions (login required)

Record administration - authorised staff only Record administration - authorised staff only