Télécharger le livre :  Bridging Constraint Satisfaction and Boolean Satisfiability
Ajouter à ma liste d'envies
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...

Editeur : Springer
Parution : 2015-08-25

PDF, ePub

52,74