Search Images Maps Play YouTube News Gmail Drive More »
Sign in
Books Books 21 - 30 of about 45 related to Constraint Processing.   

Semirings for Soft Constraint Solving and Programming

Stefano Bistarelli - Mathematics - 2004 - 284 pages
Constraint satisfaction and constraint programming have shown to be very simple but powerful ideas, with applications in various areas. Still, in the last ten years, the simple ...
Limited preview - About this book

Foundations of Constraint Satisfaction: The Classic Text

Edward Tsang - Computers - 2014 - 444 pages
This seminal text of Computer Science, the most cited book on the subject, is now available for the first time in paperback. Constraint satisfaction is a decision problem that ...
Limited preview - About this book

Integration of AI and OR Techniques in Constraint Programming for ...

J. Christopher Beck, Barbara Smith - Computers - 2006 - 301 pages
This book constitutes the refereed proceedings of the Third International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial ...
Limited preview - About this book

Theory and Applications of Satisfiability Testing - SAT 2009: 12th ...

Oliver Kullmann - Mathematics - 2009 - 540 pages
This volume contains the papers presented at SAT 2009: 12th International Conference on Theory and Applications of Satis?ability Testing, held from June 30 to July 3, 2009 in ...
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

Recent Advances in Constraints: Joint ERCIM/CoLogNET International Workshop ...

Brahim Hnich, Mats Carlsson, Francois Fages, Francesca Rossi - Business & Economics - 2006 - 179 pages
This book constitutes the thoroughly refereed and extended post-proceedings of the Joint ERCIM/CoLogNet International Workshop on Constraint Solving and Constraint Logic ...
Limited preview - About this book

Optimization Methods for Logical Inference

Vijay Chandru, John Hooker - Mathematics - 2011 - 365 pages
Merging logic and mathematics in deductive inference-an innovative, cutting-edge approach. Optimization methods for logical inference? Absolutely, say Vijay Chandru and John ...
Limited preview - About this book

Research and Development in Intelligent Systems XIX: Proceedings of ES2002 ...

Alun Preece, Frans Coenen - Computers - 2012 - 467 pages
M.A.BRAMER University of Portsmouth, UK This volume comprises the refereed technical papers presented at ES2002, the Twenty-second SGAI International Conference on Knowledge ...
Limited preview - About this book




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