Bridging constraint satisfaction and boolean satisfiability
Auteur :
Petke, Justyna
Éditeur :
Springer International Publishing AG
ISBN :
9783319373645
Date de publication :
22 oct. 2016
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Suisse
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.