Theory and Applications of Satisfiability Testing - SAT 2016 (eBook, PDF)
19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings
Redaktion: Creignou, Nadia; Le Berre, Daniel
Alle Infos zum eBook verschenken
Theory and Applications of Satisfiability Testing - SAT 2016 (eBook, PDF)
19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings
Redaktion: Creignou, Nadia; Le Berre, Daniel
- Format: PDF
- Merkliste
- Auf die Merkliste
- Bewerten Bewerten
- Teilen
- Produkt teilen
- Produkterinnerung
- Produkterinnerung
Hier können Sie sich einloggen
Bitte loggen Sie sich zunächst in Ihr Kundenkonto ein oder registrieren Sie sich bei bücher.de, um das eBook-Abo tolino select nutzen zu können.
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.
- Geräte: PC
- ohne Kopierschutz
- eBook Hilfe
- Größe: 14.67MB
- Theory and Applications of Satisfiability Testing -- SAT 2015 (eBook, PDF)51,95 €
- Theory and Applications of Satisfiability Testing - SAT 2014 (eBook, PDF)40,95 €
- Theory and Applications of Satisfiability Testing - SAT 2009 (eBook, PDF)40,95 €
- Theory and Applications of Satisfiability Testing - SAT 2008 (eBook, PDF)40,95 €
- Theory and Applications of Satisfiability Testing - SAT 2013 (eBook, PDF)40,95 €
- Theory and Applications of Satisfiability Testing - SAT 2006 (eBook, PDF)40,95 €
- Principles and Practice of Constraint Programming (eBook, PDF)40,95 €
-
-
-
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.
Dieser Download kann aus rechtlichen Gründen nur mit Rechnungsadresse in A, B, BG, CY, CZ, D, DK, EW, E, FIN, F, GR, HR, H, IRL, I, LT, L, LR, M, NL, PL, P, R, S, SLO, SK ausgeliefert werden.
- Produktdetails
- Verlag: Springer-Verlag GmbH
- Seitenzahl: 564
- Erscheinungstermin: 10. Juni 2016
- Englisch
- ISBN-13: 9783319409702
- Artikelnr.: 46934547
- Verlag: Springer-Verlag GmbH
- Seitenzahl: 564
- Erscheinungstermin: 10. Juni 2016
- Englisch
- ISBN-13: 9783319409702
- Artikelnr.: 46934547