Complexity Classifications of Boolean Constraint Satisfaction Problems

Creignou, Nadia

ISBN 10: 0898714796 / ISBN 13: 9780898714791

Published by Society For Industrial And Applied Mathematics, 2001

About this Item

This is an ex-library book and may have the usual library/used-book markings inside.This book has hardback covers. In good all round condition. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,550grams, ISBN:9780898714791.

Seller Inventory # 9953781

Bibliographic Details

• Title: Complexity Classifications of Boolean Constraint Satisfaction Problems
• Publisher: Society For Industrial And Applied Mathematics
• Publication Date: 2001
• Language: English
• ISBN 10: 0898714796
• ISBN 13: 9780898714791
• Binding: Hardcover
• Condition: Good
• Seller catalogs:
  • Mathematics

About this title

Synopsis

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. This book presents a novel and compact form of a compendium that classifies an infinite number of problems by using a rule-based approach. This enables practitioners to determine whether or not a given problem is known to be computationally intractable.

About the Author

Nadia Creignou is a Professor in the Computer Science Laboratory of Marseille at the Université de la Méditerranée, France. Sanjeev Khanna is an Assistant Professor in the Department of Computer and Information Science at the University of Pennsylvania, USA. Madhu Sudan is an Associate Professor in the Department of Electrical Engineering and Computer Science at the Massachusetts Institute of Technology, USA.