Vinkkaa tuotetta kavereillesi:
Bridging Constraint Satisfaction and Boolean Satisfiability - Artificial Intelligence: Foundations, Theory, and Algorithms Justyna Petke 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
Löytyy myös muodossa:
Bridging Constraint Satisfaction and Boolean Satisfiability - Artificial Intelligence: Foundations, Theory, and Algorithms
Justyna Petke
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 |