Theory and Applications of Satisfiability Testing – SAT 2017

20th International Conference, Melbourne, VIC, Australia, August 28 – September 1, 2017, Proceedings

Nonfiction, Computers, Advanced Computing, Artificial Intelligence, Computer Science, General Computing
Cover of the book Theory and Applications of Satisfiability Testing – SAT 2017 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: 9783319662633
Publisher: Springer International Publishing Publication: August 14, 2017
Imprint: Springer Language: English
Author:
ISBN: 9783319662633
Publisher: Springer International Publishing
Publication: August 14, 2017
Imprint: Springer
Language: English

This book constitutes the refereed proceedings of the 20th International Conference on Theory and Applications of Satisfiability Testing, SAT 2017, held in Melbourne, Australia, in August/September 2017.

The 22 revised full papers, 5 short papers, and 3 tool papers were carefully reviewed and selected from 64 submissions. The papers are organized in the following topical sections: algorithms, complexity, and lower bounds; clause learning and symmetry handling; maximum satisfiability and minimal correction sets; parallel SAT solving; quantified Boolean formulas; satisfiability modulo theories; and SAT encodings.

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 20th International Conference on Theory and Applications of Satisfiability Testing, SAT 2017, held in Melbourne, Australia, in August/September 2017.

The 22 revised full papers, 5 short papers, and 3 tool papers were carefully reviewed and selected from 64 submissions. The papers are organized in the following topical sections: algorithms, complexity, and lower bounds; clause learning and symmetry handling; maximum satisfiability and minimal correction sets; parallel SAT solving; quantified Boolean formulas; satisfiability modulo theories; and SAT encodings.

More books from Springer International Publishing

Cover of the book Bifurcation and Degradation of Geomaterials in the New Millennium by
Cover of the book Engineering Psychology and Cognitive Ergonomics by
Cover of the book Integrative Approach to Comprehensive Building Renovations by
Cover of the book Emotional Engineering, Vol. 6 by
Cover of the book Global Networking, Communication and Culture: Conflict or Convergence? by
Cover of the book Lectures on Quantum Mechanics by
Cover of the book Unified Lagrangian Formulation for Fluid and Solid Mechanics, Fluid-Structure Interaction and Coupled Thermal Problems Using the PFEM by
Cover of the book Foodsaving in Europe by
Cover of the book Smart Homes and Health Telematics, Designing a Better Future: Urban Assisted Living by
Cover of the book Bucer, Ephesians and Biblical Humanism by
Cover of the book Desire and Empathy in Twentieth-Century Dystopian Fiction by
Cover of the book US and EU External Labor Governance by
Cover of the book Applied Computer Sciences in Engineering by
Cover of the book Lady Gregory and Irish National Theatre by
Cover of the book Simulation Training: Fundamentals and Applications 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