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

Hinta
€ 54,49

Tilattu etävarastosta

Arvioitu toimitus ti - ke 1. - 9. joulu
Joululahjoja voi vaihtaa 31.1. asti
Saat ilmoituksen artistin Justyna Petke uusista julkaisuista
Lisää iMusic-toivelistallesi
tai

Ei vielä arvioitu

Löytyy myös muodossa:

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 Ranska  

Lisää samalta julkaisijalta