Faites connaître cet article à vos amis:
Bridging Constraint Satisfaction and Boolean Satisfiability - Artificial Intelligence: Foundations, Theory, and Algorithms Justyna Petke 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
Également disponible en tant que :
Bridging Constraint Satisfaction and Boolean Satisfiability - Artificial Intelligence: Foundations, Theory, and Algorithms
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 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 |