Store besparelser
Hurtig levering
Fri fragt over 499,-
Gemte
Log ind
0
Kurv
Kurv
Theory and Applications of Satisfiability Testing – SAT 2017
- 20th International Conference, Melbourne, VIC, Australia, August 28 – September 1, 2017, Proceedings
Engelsk
Bogcover for Theory and Applications of Satisfiability Testing – SAT 2017 af , 9783319662626
Specifikationer
Sprog:
Engelsk
Sider:
476
ISBN-13:
9783319662626
Indbinding:
Paperback
ISBN-10:
3319662627
Kategori:
Udg. Dato:
9 aug 2017
Størrelse i cm:
23,5 x 15,5
Oplagsdato:
9 aug 2017

Theory and Applications of Satisfiability Testing – SAT 2017

- 20th International Conference, Melbourne, VIC, Australia, August 28 – September 1, 2017, Proceedings
Engelsk
Paperback 2017
Format:

Bog beskrivelse
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.
... Vis mere

Forlags Vejl. pris
419,37 kr
Hos Booktok
409 kr
spar 2%
Læg i kurv nu
Sikker betaling
23 - 25 hverdage

Specifikationer
Sprog:
Engelsk
Sider:
476
ISBN-13:
9783319662626
Indbinding:
Paperback
ISBN-10:
3319662627
Kategori:
Udg. Dato:
9 aug 2017
Størrelse i cm:
23,5 x 15,5
Oplagsdato:
9 aug 2017
Finder produkter...
Kategori sammenhænge