Search Images Maps Play YouTube News Gmail Drive More »
Sign in
Books Books 1 - 10 of about 10 citing Principles of Constraint Programming. 

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

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

Processes, Terms and Cycles: Steps on the Road to Infinity: Essays Dedicated ...

Aart Middeldorp - Computers - 2005 - 638 pages
This Festschrift is dedicated to Jan Willem Klop on the occasion of his 60th birthdayon December 19,2005.Its focus is on the lambda calculus, term rewr- ing and process algebra ...
Limited preview - About this book

Finite Model Theory and Its Applications

Erich Grädel, Phokion G. Kolaitis, Leonid Libkin, Maarten Marx, Joel Spencer, Moshe Y. Vardi, Yde Venema, Scott Weinstein - Computation by Abstract Devices - 2007 - 450 pages
This book gives a broad overview of core topics of finite model theory: expressive power, descriptive complexity, and zero-one laws, together with selected applications to ...
Limited preview - About this book

Artificial Intelligence for Advanced Problem Solving Techniques

Dimitris Vrakas, Ioannis Vlahavas - Computers - 2008 - 370 pages
One of the most important functions of artificial intelligence, automated problem solving, consists mainly of the development of software systems designed to find solutions to ...
Snippet view - About this book

Tenth Scandinavian Conference on Artificial Intelligence: SCAI 2008

Anders Holst, Per Kreuger, Peter Funk - Computers - 2008 - 217 pages
The Scandinavian Conference on Artificial Intelligence continues a tradition of being one of the most important regional AI conferences in Europe for ten years now. The topics ...
Limited preview - About this book

Software Engineering 1: Abstraction and Modelling, Volume 1

Dines Bjørner - Computers - 2006 - 714 pages
This volume covers the basic principles and techniques of abstraction and modelling. It provides the reader with a sound basis for discrete mathematics, moving on to teach ...
Limited preview - About this book

Software Engineering 1: Abstraction and Modelling, Volume 1

Dines Bjørner - Computers - 2006 - 714 pages
This volume covers the basic principles and techniques of abstraction and modelling. It provides the reader with a sound basis for discrete mathematics, moving on to teach ...
Limited preview - About this book

Software Engineering 3: Domains, Requirements, and Software Design

Dines Bjørner - Computers - 2006 - 766 pages
This second volume looks at the principles and techniques of modelling spatial and simple temporal phenomena, and such specialized topics as modularity (UML class diagrams ...
Limited preview - About this book




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