Bridging Constraint Satisfaction and Boolean Satisfiability - Artificial Intelligence: Foundations, Theory, and Algorithms - Justyna Petke - Grāmatas - Springer International Publishing AG - 9783319218090 - 2015. gada 19. augusts
Ja vāks un nosaukums nesakrīt, pareizs ir nosaukums

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

Cena
€ 53,99

Pasūtīts no attālās noliktavas

Paredzamā piegāde . gada 22. - 30. jūl.
Saņemiet paziņojumus par jauniem Justyna Petke izdevumiem
Pievienot savam iMusic vēlmju sarakstam

Not rated yet

Pieejams arī kā:

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

Mediji Grāmatas     Hardcover Book   (Grāmata ar cieto muguriņu un vāku)
Izlaists 2015. gada 19. augusts
ISBN13 9783319218090
Izdevēji Springer International Publishing AG
Lapas 113
Izmēri 155 × 235 × 10 mm   ·   358 g
Valoda Franču  

Mere med samme udgiver