Can I read Constraint Satisfaction in Logic Programming on EtoBox?

Constraint Satisfaction in Logic Programming by Van Hentenryck, Pascal is a nonfiction available to read on EtoBox.

What is Constraint Satisfaction in Logic Programming about?

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 programs. Van Hentenryck's approach preserves one of the most useful features of logic programming - the duality of its semantics - yet allows a short development time for the programs while preserving most of the efficiency of special purpose programs written in a procedural language. Embedding consistency techniques in logic programming allows for ease and flexibility of programming and short development time because constraint propagation and tree-search programming are abstracted away from the user. It also enables logic programs to be executed efficiently as consistency techniques permit an active use of constraints to remove combinations of values that cannot appear in a solution Van Hentenryck presents a comprehensive overvi

Who reads Constraint Satisfaction in Logic Programming?

Author

Van Hentenryck, Pascal

Publisher

Cambridge, Mass. : MIT Press

Published

1989

Language

EN

ISBN

9780262081818

Category

nonfiction

Subjects

Computer Science, Science, Programming