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

Sat2000: Highlights of Satisfiability Research in the Year 2000

Ian Gent, Hans van Maaren, Toby Walsh - Computers - 2000 - 561 pages
"The book is devoted to various disciplines in Satisfiability research and aims to give the reader an impression of the state of the art of this research in the Year 2000. It ...
Limited preview - About this book

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

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

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

Krzysztof Apt, Francois Fages, Francesca Rossi, Peter Szeredi, Josef Váncza - Computers - 2004 - 288 pages
Constraint programming is the fruit of several decades of research carried out in mathematical logic, automated deduction, operations research and arti?cial intelligence. The ...
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

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

Abstraction, Reformulation, and Approximation: 4th International Symposium ...

Berthe Y. Choueiry, Toby Walsh - Computers - 2003 - 336 pages
This volume contains the proceedings of SARA 2000, the fourth Symposium on Abstraction, Reformulations, and Approximation (SARA). The conference was held at Horseshoe Bay ...
Limited preview - About this book




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