Bridging Constraint Satisfaction and Boolean Satisfiability - Artificial Intelligence: Foundations, Theory, and Algorithms - Justyna Petke - Kirjat - Springer International Publishing AG - 9783319218090 - keskiviikko 19. elokuuta 2015
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

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

Justyna Petke

Hinta
€ 52,99

Tilattu etävarastosta

Arvioitu toimitus ke - to 17. - 25. syys

Asiakkaamme sanovat:

14 päivän palautusoikeus
Huippuarvosana Trustpilotissa
Lisää iMusic-toivelistallesi
Eller

Löytyy myös muodossa:

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

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

Media Kirjat     Hardcover Book   (Sidottu kirja kovilla kansilla sekä suojakannella)
Julkaisupäivämäärä keskiviikko 19. elokuuta 2015
ISBN13 9783319218090
Tuottaja Springer International Publishing AG
Sivujen määrä 113
Mitta 155 × 235 × 10 mm   ·   358 g
Kieli French  

Katso kaikki joka sisältää Justyna Petke ( Esim. Paperback Book Ja Hardcover Book )