Limit search to available items
Book Cover
E-book
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  

Copies

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.)
(print)
Other Titles SAT 2017