Cookies?
Library Header Image
LSE Research Online LSE Library Services

Logic applied to integer programming and integer programming applied to logic

Williams, H. Paul (1995) Logic applied to integer programming and integer programming applied to logic. European Journal of Operational Research, 81 (3). pp. 605-616. ISSN 0377-2217

Full text not available from this repository.

Abstract

The many connections between the methods of Computational Logic and Integer Programming (IP) are surveyed. It is shown how computational problems arising in formal logic can be solved by IP. Also it is shown how the methods of logic are applicable both to modelling and solving IP models. It is shown how Fourier-Motzkin elimination for Linear Programming, when specialised to 0–1 IP models gives rise to the logic method of Resolution. Finally conventional IP methods are applied to solving logical inference problems.

Item Type: Article
Official URL: http://www.elsevier.com/locate/ejor
Additional Information: © 1995 Elsevier Science 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 12:27
URL: http://eprints.lse.ac.uk/31605/

Actions (login required)

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