Bridging Constraint Satisfaction and Boolean Satisfiability - Artificial Intelligence: Foundations, Theory, and Algorithms - Justyna Petke - Livres - Springer International Publishing AG - 9783319373645 - 22 octobre 2016
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 Softcover reprint of the original 1st ed. 2015 edition

Prix
€ 59,99

Commandé depuis un entrepôt distant

Livraison prévue 29 sept. - 13 oct.
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, 13 Tables, black and white; 19 Illustrations, black and white; XI, 113 p. 19 illus.

Médias Livres     Paperback Book   (Livre avec couverture souple et dos collé)
Validé 22 octobre 2016
ISBN13 9783319373645
Éditeurs Springer International Publishing AG
Pages 113
Dimensions 150 × 220 × 10 mm   ·   190 g

Plus d'ouvrages du même éditeur