![Akateeminen Kirjakauppa](/images/index/logo-1195.jpg)
SULJE VALIKKO
KIRJAUDU
| Theory and Applications of Satisfiability Testing – SAT 2017 - 20th International Conference, Melbourne, VIC, Australia, August 49,60 € Springer International Publishing AG Sivumäärä: 476 sivua Asu: Pehmeäkantinen kirja Painos: 1st ed. 2017 Julkaisuvuosi: 2017, 09.08.2017 (lisätietoa) Kieli: Englanti This book constitutes the refereed proceedings of the 20th International Conference on Theory and Applications of Satisfiability Testing, SAT 2017, held in Melbourne, Australia, in August/September 2017. The 22 revised full papers, 5 short papers, and 3 tool papers were carefully reviewed and selected from 64 submissions. The papers are organized in the following topical sections: algorithms, complexity, and lower bounds; clause learning and symmetry handling; maximum satisfiability and minimal correction sets; parallel SAT solving; quantified Boolean formulas; satisfiability modulo theories; and SAT encodings. Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 17-20 arkipäivässä
Myymäläsaatavuus
![]() ![]() ![]() ![]() Näytä kaikki tuotetiedotISBN: 9783319662626 Tuotesarja: Asiasanat: Aihealue: |
Sisäänkirjautuminen
Kirjaudu sisäänRekisteröityminen |
Oma tili
Omat tiedotOmat tilaukset Omat laskut |
Lisätietoja
AsiakaspalveluTietoa verkkokaupasta Toimitusehdot Tietosuojaseloste |