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 Surgical Intensive Care Medicine by
Cover of the book Towards a Sociology of Health Discourse in Africa by
Cover of the book Fear of Muslims? by
Cover of the book Clinical Inertia by
Cover of the book Top-down Community Building and the Politics of Inclusion by
Cover of the book Empirical Philosophical Investigations in Education and Embodied Experience by
Cover of the book Six-Phase Electric Machines by
Cover of the book Bladder Pain Syndrome – An Evolution by
Cover of the book Collectivity and Power on the Internet by
Cover of the book Symmetry Properties in Transmission Lines Loaded with Electrically Small Resonators by
Cover of the book Urban Visions by
Cover of the book Restoring the Middle Class through Wage Policy by
Cover of the book Creators of Mathematical and Computational Sciences by
Cover of the book Essentials of Dynamics and Vibrations by
Cover of the book Psychological Mechanisms in Animal Communication 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