Bridging Constraint Satisfaction and Boolean Satisfiability - Artificial Intelligence: Foundations, Theory, and Algorithms - Justyna Petke - Livres - Springer International Publishing AG - 9783319218090 - 19 août 2015
Si la couverture et le titre ne correspondent pas, le titre est correct.

Bridging Constraint Satisfaction and Boolean Satisfiability - Artificial Intelligence: Foundations, Theory, and Algorithms 1st ed. 2015 edition

Prix
€ 50,49

Commandé depuis un entrepôt distant

Livraison prévue 27 nov. - 7 déc.
Les cadeaux de Noël peuvent être échangés jusqu'au 31 janvier
Recevez une notification pour les nouvelles sorties de Justyna Petke
Ajouter à votre liste de souhaits iMusic

Pas encore évalué

Également disponible en tant que :

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.


113 pages, 19 black & white illustrations, 13 black & white tables, biography

Médias Livres     Hardcover Book   (Livre avec dos et couverture rigide)
Validé 19 août 2015
ISBN13 9783319218090
Éditeurs Springer International Publishing AG
Pages 113
Dimensions 155 × 235 × 10 mm   ·   358 g
Langue et grammaire Français  

Plus d'ouvrages du même éditeur