Limit search to available items
Book Cover
Author SAT (Conference) (20th : 2017 : Melbourne, Vic.)

Title Theory and applications of satisfiability testing -- SAT 2017 : 20th International Conference, Melbourne, VIC, Australia, August 28-September 1, 2017, Proceedings / Serge Gaspers, Toby Walsh (eds.)
Published Cham, Switzerland : Springer, 2017
Online access available from:
Springer eBooks    View Resource Record  


Description 1 online resource (xiii, 476 pages) : illustrations
Series LNCS sublibrary. SL 1, Theoretical computer science and general issues
Lecture notes in computer science, 0302-9743 ; 10491
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Lecture notes in computer science ; 10491. 0302-9743
Summary 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
Notes Includes author index
Online resource; title from PDF title page (SpringerLink, viewed August 17, 2017)
Subject Computer algorithms -- Congresses.
Computer software -- Verification -- Congresses.
Genre/Form Conference papers and proceedings.
Conference papers and proceedings.
Form Electronic book
Author Gaspers, Serge, editor
Walsh, Toby, editor
ISBN 3319662635 (electronic bk.)
9783319662633 (electronic bk.)
Other Titles SAT 2017