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 International Trade Policy and European Industry by
Cover of the book Polyglutamine Disorders by
Cover of the book Internet of Things for Smart Cities by
Cover of the book LTE-A Cellular Networks by
Cover of the book Corporatizing Rural Education by
Cover of the book Agents and Artificial Intelligence by
Cover of the book Settlement Morphology of Budapest by
Cover of the book New Advances in Statistics and Data Science by
Cover of the book The Tea Party, Occupy Wall Street, and the Great Recession by
Cover of the book Statistical Distributions by
Cover of the book Remote Sensing of the Asian Seas by
Cover of the book Personalized Therapy for Multiple Myeloma by
Cover of the book Complicated War Trauma and Care of the Wounded by
Cover of the book The Power of Identity and Ideology in Language Learning by
Cover of the book Sociomaterial-Design 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