search for books and compare prices
Bridging Constraint Satisfaction and Boolean Satisfiability
Descriptions of each edition are found in brief where available. Click details & prices to get more information on a book or to find the best prices for the title.
Hardcover
from Springer-Verlag New York Inc (August 19, 2015)
9783319218090 | details & prices | 130 pages | 6.50 × 9.50 × 0.75 in. | 0.70 lbs | List price $89.99
About: 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.
About: 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.