Complexity Classifications of Boolean Constraint Satisfaction Problems

Complexity Classifications of Boolean Constraint Satisfaction Problems
Author :
Publisher : SIAM
Total Pages : 112
Release :
ISBN-10 : 9780898718546
ISBN-13 : 0898718546
Rating : 4/5 (46 Downloads)

Book Synopsis Complexity Classifications of Boolean Constraint Satisfaction Problems by : Nadia Creignou

Download or read book Complexity Classifications of Boolean Constraint Satisfaction Problems written by Nadia Creignou and published by SIAM. This book was released on 2001-01-01 with total page 112 pages. Available in PDF, EPUB and Kindle. Book excerpt: Many fundamental combinatorial problems, arising in such diverse fields as artificial intelligence, logic, graph theory, and linear algebra, can be formulated as Boolean constraint satisfaction problems (CSP). This book is devoted to the study of the complexity of such problems. The authors' goal is to develop a framework for classifying the complexity of Boolean CSP in a uniform way. In doing so, they bring out common themes underlying many concepts and results in both algorithms and complexity theory. The results and techniques presented here show that Boolean CSP provide an excellent framework for discovering and formally validating "global" inferences about the nature of computation.


Complexity Classifications of Boolean Constraint Satisfaction Problems Related Books

Complexity Classifications of Boolean Constraint Satisfaction Problems
Language: en
Pages: 112
Authors: Nadia Creignou
Categories: Mathematics
Type: BOOK - Published: 2001-01-01 - Publisher: SIAM

DOWNLOAD EBOOK

Many fundamental combinatorial problems, arising in such diverse fields as artificial intelligence, logic, graph theory, and linear algebra, can be formulated a
Complexity of Constraints
Language: en
Pages: 326
Authors: Nadia Creignou
Categories: Computers
Type: BOOK - Published: 2008-12-23 - Publisher: Springer

DOWNLOAD EBOOK

Nowadays constraint satisfaction problems (CSPs) are ubiquitous in many different areas of computer science, from artificial intelligence and database systems t
Algebraic Techniques for Satisfiability Problems
Language: en
Pages: 137
Authors: Henning Schnoor
Categories:
Type: BOOK - Published: 2007 - Publisher: Cuvillier Verlag

DOWNLOAD EBOOK

Principles and Practice of Constraint Programming - CP 2004
Language: en
Pages: 837
Authors: Mark Wallace
Categories: Computers
Type: BOOK - Published: 2005-01-12 - Publisher: Springer

DOWNLOAD EBOOK

The 10th International Conference on the Principles and Practice of Constraint Programming (CP 2003) was held in Toronto, Canada, during September 27 – Octobe
Principles and Practice of Constraint Programming - CP 2005
Language: en
Pages: 906
Authors: Peter van Beek
Categories: Computers
Type: BOOK - Published: 2005-09-22 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 11th International Conference on Principles and Practice of Constraint Programming, CP 2005, held in Sitge