LOGIC APPLIED TO INTEGER PROGRAMMING AND INTEGER PROGRAMMING APPLIED TO LOGIC

The many connections between the methods of Computational Logic and In teger Programming (IP) are surveyed. It is shown how computational pro blems arising in formal logic can be solved by IP. Also it is shown ho w the methods of logic are applicable both to modelling and solving IP models. It is shown how Fourier-Motzkin elimination for Linear Progra mming, when specialised to 0-1 IP models gives rise to the logic metho d of Resolution. Finally conventional IP methods are applied to solvin g logical inference problems.