Theory and Applications of Satisfiability Testing ¿ SAT 2016
19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings
Herausgegeben:Creignou, Nadia; Le Berre, Daniel
Theory and Applications of Satisfiability Testing ¿ SAT 2016
19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings
Herausgegeben:Creignou, Nadia; Le Berre, Daniel
- Broschiertes Buch
- Merkliste
- Auf die Merkliste
- Bewerten Bewerten
- Teilen
- Produkt teilen
- Produkterinnerung
- Produkterinnerung
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.
- Theory and Applications of Satisfiability Testing -- SAT 201547,99 €
- Theory and Applications of Satisfiability Testing - SAT 201437,99 €
- Theory and Applications of Satisfiability Testing - SAT 200937,99 €
- Hans Kleine Büning / Xishun Zhao (eds.)Theory and Applications of Satisfiability Testing ¿ SAT 200839,99 €
- Armin Biere / Carla P. GomesTheory and Applications of Satisfiability Testing - SAT 200639,99 €
- Theory and Applications of Satisfiability Testing - SAT 201337,99 €
- Jean-Charles Régin / Rueher (eds.)Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems37,99 €
-
-
-
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.
- Produktdetails
- Theoretical Computer Science and General Issues 9710
- Verlag: Springer / Springer International Publishing / Springer, Berlin
- Artikelnr. des Verlages: 978-3-319-40969-6
- 1st ed. 2016
- Seitenzahl: 588
- Erscheinungstermin: 12. Juni 2016
- Englisch
- Abmessung: 235mm x 155mm x 32mm
- Gewicht: 912g
- ISBN-13: 9783319409696
- ISBN-10: 3319409697
- Artikelnr.: 45005758
- Theoretical Computer Science and General Issues 9710
- Verlag: Springer / Springer International Publishing / Springer, Berlin
- Artikelnr. des Verlages: 978-3-319-40969-6
- 1st ed. 2016
- Seitenzahl: 588
- Erscheinungstermin: 12. Juni 2016
- Englisch
- Abmessung: 235mm x 155mm x 32mm
- Gewicht: 912g
- ISBN-13: 9783319409696
- ISBN-10: 3319409697
- Artikelnr.: 45005758