Bridging Constraint Satisfaction and Boolean Satisfiability - Artificial Intelligence: Foundations, Theory, and Algorithms - Justyna Petke - Kirjat - Springer International Publishing AG - 9783319373645 - lauantai 22. lokakuuta 2016
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

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

Justyna Petke

Hinta
¥ 10.672,20

Tilattu etävarastosta

Arvioitu toimitus ma - ke 8. - 17. 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 Softcover reprint of the original 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, 13 Tables, black and white; 19 Illustrations, black and white; XI, 113 p. 19 illus.

Media Kirjat     Paperback Book   (Kirja pehmeillä kansilla ja liimatulla selällä)
Julkaisupäivämäärä lauantai 22. lokakuuta 2016
ISBN13 9783319373645
Tuottaja Springer International Publishing AG
Sivujen määrä 113
Mitta 190 g

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