product description page

Bridging Constraint Satisfaction and Boolean Satisfiability (Hardcover) (Justyna Petke)

Bridging Constraint Satisfaction and Boolean Satisfiability (Hardcover) (Justyna Petke) - image 1 of 1

about this item

This book represents a significant step towards bridging the areas of Boolean satisfiability and constraint satisfaction by providing theoretical explanations for why SAT-solvers are efficient on certain classes of CSPs and under which SAT encodings tractability of the original CSP instance is preserved.

These fields emerged independently, and they developed different standard problem-solving solutions. In the meantime it is understood that any propositional formula can actually be viewed as an instance of the general constraint satisfaction problem, but the implications of this connection have only been studied in the last few years.

This book will be useful for researchers and graduate students in artificial intelligence and theoretical computer science.

Number of Pages: 130.0
Genre: Computers + Internet
Sub-Genre: Artificial Intelligence, Computer Science
Series Title: Artificial Intelligence: Foundations, Theory, and Algorithms
Format: Hardcover
Publisher: Springer Verlag
Author: Justyna Petke
Language: English
Street Date: August 19, 2015
TCIN: 50925660
UPC: 9783319218090
Item Number (DPCI): 248-12-8304

guest reviews

Prices, promotions, styles and availability may vary by store & online. See our price match guarantee. See how a store is chosen for you.