Search Images Maps Play YouTube News Gmail Drive More »
Sign in
Books Books 1 - 10 of about 38 related to Constraint Processing.   

Constraint Processing

Rina Dechter - Computers - 2003 - 481 pages
No preview available - About this book

Reasoning with Probabilistic and Deterministic Graphical Models: Exact ...

Rina Dechter - Computers - 2013 - 191 pages
Graphical models (e.g., Bayesian and constraint networks, influence diagrams, and Markov decision processes) have become a central paradigm for knowledge representation and ...
Limited preview - About this book

Handbook of Constraint Programming

Francesca Rossi, Peter van Beek, Toby Walsh - Computers - 2006 - 978 pages
Constraint programming is a powerful paradigm for solving combinatorial search problems that draws on a wide range of techniques from artificial intelligence, computer science ...
Limited preview - About this book

Tractability: Practical Approaches to Hard Problems

Lucas Bordeaux, Youssef Hamadi, Pushmeet Kohli - Computers - 2014 - 400 pages
Classical computer science textbooks tell us that some problems are 'hard'. Yet many areas, from machine learning and computer vision to theorem proving and software ...
Limited preview - About this book

Ant Colony Optimization and Constraint Programming

Christine Solnon - Computers - 2013 - 320 pages
Ant colony optimization is a metaheuristic which has been successfully applied to a wide range of combinatorial optimization problems. The author describes this metaheuristic ...
Limited preview - About this book

Constraint Networks: Targeting Simplicity for Techniques and Algorithms

Christophe Lecoutre - Computers - 2013 - 320 pages
A major challenge in constraint programming is to develop efficient generic approaches to solve instances of the constraint satisfaction problem (CSP). With this aim in mind ...
Limited preview - About this book

Bridging Constraint Satisfaction and Boolean Satisfiability

Justyna Petke - Computers - 2015 - 113 pages
This book provides a significant step towards bridging the areas of Boolean satisfiability and constraint satisfaction by answering the question why SAT-solvers are efficient ...
Limited preview - About this book

Modeling and Reasoning with Bayesian Networks

Adnan Darwiche - Computers - 2009
This book is a thorough introduction to the formal foundations and practical applications of Bayesian networks. It provides an extensive discussion of techniques for building ...
Limited preview - About this book

Generic Inference: A Unifying Theory for Automated Reasoning

Marc Pouly, Juerg Kohlas - Technology & Engineering - 2012 - 250 pages
This book provides a rigorous algebraic study of the most popular inference formalisms with a special focus on their wide application area, showing that all these tasks can be ...
Limited preview - About this book




  1. My library
  2. Help
  3. Advanced Book Search