Bridging Constraint Satisfaction and Boolean Satisfiability

by

Write The First Customer Review

This book provides a significant step towards bridging the areas of Boolean satisfiability and constraint satisfaction by answering the question why SAT-solvers are efficient on certain classes of CSP instances which are hard to solve for standard constraint solvers. The author also gives theoretical reasons for choosing a particular SAT encoding for several important classes of CSP instances. Boolean satisfiability and constraint satisfaction emerged independently as new fields of computer science, and different solving ...

Bridging Constraint Satisfaction and Boolean Satisfiability 2016, Springer

ISBN-13: 9783319373645

Softcover Reprint of the Origi edition

Trade paperback

Select
Bridging Constraint Satisfaction and Boolean Satisfiability 2015, Springer

ISBN-13: 9783319218090

2015 edition

Hardcover

Select