Computational logic and integer programming
H. Paul Williams, Sally Brailsford · 1996
Abstract The enormous increase in the availability and speed of computers in the past few decades has led to a parallel increase in the number of applications. As with other advances in technology, as many problems are created as are solved. Although computers create a potential for solving many hitherto impossible problems the implementation is often much more difficult than might appear from cursory examination. However fast computer hardware becomes there will always be many problems whose computation takes a prohibitive amount of time. Many of these problems are of a “logical” nature. They arise in problems such as efficient computer circuit design, database retrieval systems, expert systems and artificial intelligence.