Search Images Maps Play YouTube News Gmail Drive More »
Sign in
Books Books 11 - 20 of about 47 related to Handbook of Constraint Programming.   

SAT 2005: Satisfiability Research in the Year 2005

Enrico Giunchiglia, Toby Walsh - Computers - 2007 - 293 pages
This book covers recent progress in solving propositional satisfiability and related problems. Propositional satisfiability is a powerful and general formalism used to solve a ...
Limited preview - About this book

Algorithmic Decision Theory: First International Conference, ADT 2009 ...

Francesca Rossi, Alexis Tsoukias - Computers - 2009 - 460 pages
This volume contains the papers presented at ADT 2009, the first International Conference on Algorithmic Decision Theory. The conference was held in San Servolo, a small island ...
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

A Short Introduction to Preferences: Between Artificial Intelligence and ...

Francesca Rossi, Kristen Brent Venable, Toby Walsh - Computers - 2011 - 104 pages
Computational social choice is an expanding field that merges classical topics like economics and voting theory with more modern topics like artificial intelligence, multiagent ...
Limited preview - About this book

Hybrid Systems: Computation and Control: 7th International Workshop, HSCC ...

Rajeev Alur, George Pappas - Hybrid computers - 2004 - 674 pages
This book constitutes the refereed proceedings of the 7th International Workshop on Hybrid Systems: Computation and Control, HSCC 2004, held in Philadelphia, PA, USA, in March ...
Snippet view - About this book

Advances in Artificial Intelligence: 27th Canadian Conference on Artificial ...

Marina Sokolova, Peter van Beek - Computers - 2014 - 394 pages
This book constitutes the refereed proceedings of the 27th Canadian Conference on Artificial Intelligence, Canadian AI 2014, held in Montréal, QC, Canada, in May 2014. The 22 ...
Limited preview - About this book

Theory and Applications of Satisfiability Testing: 8th International ...

Fahiem Bacchus, Toby Walsh - Mathematics - 2005 - 492 pages
The 8th International Conference on Theory and Applications of Satis?ability Testing(SAT2005)providedaninternationalforumforthemostrecentresearch on the satis?ablity problem ...
Limited preview - About this book




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