Logic applied to integer programming and integer programming applied to logic

Logic applied to integer programming and integer programming applied to logic

0.00 Avg rating0 Votes
Article ID: iaor19981409
Country: Netherlands
Volume: 81
Issue: 3
Start Page Number: 605
End Page Number: 616
Publication Date: Mar 1995
Journal: European Journal of Operational Research
Authors:
Keywords: logic
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.

Reviews

Required fields are marked *. Your email address will not be published.