Ebooks de Justyna Petke en PDF et EPUB

1 Livre(s)
Télécharger le livre : Bridging Constraint Satisfaction and Boolean Satisfiability
Ajouter à ma liste d'envies
Bridging Constraint Satisfaction and Boolean Satisfiability
Justyna Petke
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
Collection : Artificial Intelligence: Foundations, Theory, and Algorithms
PDF, ePub

52,74 €