Constraint Satisfaction in Logic Programming

by Pascal van Hentenryck

This book tackles classic problems from operations research and circuit design using a logic programming language embedding consistency techniques, a paradigm emerging from artificial intelligence research. Van Hentenryck proposes a new approach to solving discrete combinatorial problems using these techniques. Logic programming serves as a convenient language for stating combinatorial problems, but its "generate and test" paradigm leads to inefficient...

• Format: Hardcover
• Language: English
• ISBN: 0262081814
• ISBN13: 9780262081818
• Release Date: January 1989
• Publisher: MIT Press (MA)
• Length: 224 Pages
• Weight: 0.90 lbs.