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

CPAIOR 2004, Volume 1

Jean-Charles Régin, Michel Rueher - Business & Economics - 2004 - 414 pages
This volume contains the proceedings of the First International Conference on IntegrationofAIandORTechniquesinConstraintProgrammingforCombina- rialOptimisation Problems.This ...
Limited preview - About this book

Automated Planning: Theory and Practice

Malik Ghallab, Dana S. Nau, Paolo Traverso - Computers - 2004 - 635 pages
Looking beyond classical techniques, this text covers the important practical applications of planning, such as model checking and game playing. It demonstrates the need for ...
Limited preview - About this book

Searching for Optimization Through Satisfiability

Zhao Xing - 2008 - 203 pages
In this dissertation, we reconsider some general SAT techniques under the original DPLL framework. These SAT techniques include unit propagation, variable ordering, value ...
Limited preview - About this book

Constraint Programming and Large Scale Discrete Optimization: DIMACS ...

Eugene C. Freuder, Richard John Wallace - Mathematics - 2001 - 175 pages
Constraint programming has become an important general approach for solving hard combinatorial problems that occur in a number of application domains, such as scheduling and ...
Limited preview - About this book

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