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 Dynamic Memory Management for Embedded Systems by
Cover of the book Application-Specific Hardware Architecture Design with VHDL by
Cover of the book Drugs During Pregnancy by
Cover of the book Urban Politics of a Sporting Mega Event by
Cover of the book Sustainability Reporting in Central and Eastern European Companies by
Cover of the book New Knowledge in Information Systems and Technologies by
Cover of the book The Ethics of Policing and Imprisonment by
Cover of the book Scientific Computing and Algorithms in Industrial Simulations by
Cover of the book The Peanut Genome by
Cover of the book François Arago by
Cover of the book Feeling Academic in the Neoliberal University by
Cover of the book Interactive Mobile Communication Technologies and Learning by
Cover of the book Type-2 Fuzzy Granular Models by
Cover of the book Management of Pelvic Organ Prolapse by
Cover of the book Rainwater-Smart Agriculture in Arid and Semi-Arid Areas 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