Køb for 499 kr mere for gratis levering til pakkeshop
499 kr
Pakkeshop
599 kr
Hjemmelevering
Gemte
Log ind
0
Kurv
Kurv
Theory and Applications of Satisfiability Testing – SAT 2016
- 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings
Engelsk
Bogcover for Theory and Applications of Satisfiability Testing – SAT 2016 af , 9783319409696
Specifikationer
Sprog:
Engelsk
Sider:
564
ISBN-13:
9783319409696
Indbinding:
Paperback
ISBN-10:
3319409697
Kategori:
Udg. Dato:
12 jun 2016
Størrelse i cm:
15,6 x 23,6 x 3,6
Oplagsdato:
12 jun 2016

Theory and Applications of Satisfiability Testing – SAT 2016

- 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings
Engelsk
Paperback 2016
Format:

Bog beskrivelse

This book constitutes the refereed proceedings of the 19th International Conference on Theory and Applications of Satisfiability Testing, SAT 2016, held in Bordeaux, France, in July 2016.

The 31 regular papers, 5 tool papers presented together with 3 invited talks were carefully reviewed and selected from 70 submissions. The papers address different aspects of SAT, including complexity, satisfiability solving, satisfiability applications, satisfiability modulop theory, beyond SAT, quantified Boolean formula, and dependency QBF.

 

... Vis mere

Forlags Vejl. pris
524,24 kr
Januarudsalg
409 kr
spar 22%
Læg i kurv nu
Fri fragt over 499,-
Sikker betaling
23 - 25 hverdage

Specifikationer
Sprog:
Engelsk
Sider:
564
ISBN-13:
9783319409696
Indbinding:
Paperback
ISBN-10:
3319409697
Kategori:
Udg. Dato:
12 jun 2016
Størrelse i cm:
15,6 x 23,6 x 3,6
Oplagsdato:
12 jun 2016
Finder produkter...
Kategori sammenhænge