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 Handbook of Vocational Rehabilitation and Disability Evaluation by
Cover of the book Immunohematology and Transfusion Medicine by
Cover of the book The SAGES Manual Ethics of Surgical Innovation by
Cover of the book The Third Wave in Science and Technology Studies by
Cover of the book The Complete Guide to Male Fertility Preservation by
Cover of the book Database Systems for Advanced Applications by
Cover of the book A Finite Element Primer for Beginners by
Cover of the book The Metaphysics of Action by
Cover of the book Differential Equations by
Cover of the book Primary Ovarian Insufficiency by
Cover of the book National Basketball Association Strategies by
Cover of the book Solar Cosmic Rays by
Cover of the book Neural Information Processing by
Cover of the book Soft Error Mechanisms, Modeling and Mitigation by
Cover of the book Crowding Out Fiscal Stimulus 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