Artificial Intelligence: Foundations, Theory, and Algorithms Bridging Constraint Satisfaction and Boolean Satisfiability Justyna Petke Computers / Artificial Intelligence / General
This book provides a significant step towards bridging the areas of Boolean satisfiability and constraint satisfaction by answering the question why SAT-solver...