Theory and Applications of Satisfiability Testing – SAT 2016

19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings

Nonfiction, Computers, Advanced Computing, Artificial Intelligence, Computer Science, General Computing
Cover of the book Theory and Applications of Satisfiability Testing – SAT 2016 by , Springer International Publishing
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
Author: ISBN: 9783319409702
Publisher: Springer International Publishing Publication: June 10, 2016
Imprint: Springer Language: English
Author:
ISBN: 9783319409702
Publisher: Springer International Publishing
Publication: June 10, 2016
Imprint: Springer
Language: English

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.

 

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

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.

 

More books from Springer International Publishing

Cover of the book Learning Standards and the Assessment of Quality in Higher Education: Contested Policy Trajectories by
Cover of the book Movie Analytics by
Cover of the book Nematology in South Africa: A View from the 21st Century by
Cover of the book Design and Development of Knowledge Management for Manufacturing by
Cover of the book Turing’s Revolution by
Cover of the book Spanish Sociedades Laborales—Activating the Unemployed by
Cover of the book Design Automation Techniques for Approximation Circuits by
Cover of the book The Diagnosis and Treatment of Male Infertility by
Cover of the book Tumors of the Jugular Foramen by
Cover of the book Italian Studies on Quality of Life by
Cover of the book The Consumer Benchmarks in the Unfair Commercial Practices Directive by
Cover of the book Integration of AI and OR Techniques in Constraint Programming by
Cover of the book Structural Bioinformatics Tools for Drug Design by
Cover of the book Field Emission Electronics by
Cover of the book Cancer Research and Clinical Trials in Developing Countries by
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy