Theory and Applications of Satisfiability Testing – SAT 2016: 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings (Theoretical Computer Science and General Issues, Band 9710) - Softcover

 
9783319409696: Theory and Applications of Satisfiability Testing – SAT 2016: 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings (Theoretical Computer Science and General Issues, Band 9710)
Softcover
ISBN 10: 3319409697 ISBN 13: 9783319409696
Verlag: Springer, 2016

Inhaltsangabe

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.

 

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Springer
Erscheinungsdatum
2016
Sprache
Englisch
ISBN 10 
3319409697
ISBN 13 
9783319409696
Einband
Taschenbuch
Auflage
1
Anzahl der Seiten
588
Herausgeber
Creignou Nadia, Le Berre Daniel
Kontakt zum Hersteller
ProductSafety@springernature.com
ProductSafety@springernature.com

Tiergartenstr. 17
Heidelberg
69121
Deutschland

Weitere beliebte Ausgaben desselben Titels

9783319409719: Theory and Applications of Satisfiability Testing - SAT 2016: 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings

Vorgestellte Ausgabe

ISBN 10:  3319409719 ISBN 13:  9783319409719
Verlag: Springer, 2016
Softcover