Bridging Constraint Satisfaction and Boolean Satisfiability - Artificial Intelligence: Foundations, Theory, and Algorithms - Justyna Petke - Knjige - Springer International Publishing AG - 9783319218090 - 19. avgusta 2015
Če se naslovnica in naslov ne ujemata, je naslov pravilen

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

Cena
€ 59,99

Naročeno iz oddaljenega skladišča

Predvidena dobava 28. avg - 11. sep
Prejemajte obvestila o novih izdajah izvajalca Justyna Petke
Dodaj na svoj seznam želja iMusic

Not rated yet

Na voljo tudi kot:

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

Medij Knjige     Hardcover Book   (Knjiga s trdim hrbtom in platnicami)
Izdano 19. avgusta 2015
ISBN13 9783319218090
Založniki Springer International Publishing AG
Strani 113
Dimenzije 155 × 235 × 10 mm   ·   358 g
Jezik Francoščina  

Več od istega **izdajatelja**