Bridging Constraint Satisfaction and Boolean Satisfiability - Artificial Intelligence: Foundations, Theory, and Algorithms - Justyna Petke - Bücher - Springer International Publishing AG - 9783319373645 - 22. Oktober 2016
Bei Nichtübereinstimmung von Cover und Titel gilt der Titel

Bridging Constraint Satisfaction and Boolean Satisfiability - Artificial Intelligence: Foundations, Theory, and Algorithms 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

Noch nicht bewertet

Auch vorhanden als:

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

Mehr vom selben Verlag