Freunden von diesem Artikel berichten:
Bridging Constraint Satisfaction and Boolean Satisfiability - Artificial Intelligence: Foundations, Theory, and Algorithms Justyna Petke Softcover reprint of the original 1st ed. 2015 edition
Preis
€ 62,99
Bestellware
Lieferdatum: ca. 25. Nov - 9. Dez
Weihnachtsgeschenke können bis zum 31. Januar umgetauscht werden
Benachrichtigungen über neue Veröffentlichungen von Justyna Petke erhalten
Zu deiner iMusic Wunschliste hinzufügen
oder
Auch vorhanden als:
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, 13 Tables, black and white; 19 Illustrations, black and white; XI, 113 p. 19 illus.
| Medien | Bücher Taschenbuch (Buch mit Softcover und geklebtem Rücken) |
| Erscheinungsdatum | 22. Oktober 2016 |
| ISBN13 | 9783319373645 |
| Verlag | Springer International Publishing AG |
| Seitenanzahl | 113 |
| Maße | 150 × 220 × 10 mm · 190 g |