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

Copies

Description 1 online resource (xiii, 476 pages) : illustrations
Series 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
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
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
Artificial intelligence.
Software Engineering.
Operating systems.
Computer networking & communications.
Mathematical theory of computation.
Computer science.
Computers -- Intelligence (AI) & Semantics.
Computers -- Software Development & Engineering -- General.
Computers -- Operating Systems -- General.
Computers -- Hardware -- General.
Computers -- Programming -- Algorithms.
Computers -- Computer Science.
Computer algorithms
Computer software -- Verification
Genre/Form proceedings (reports)
Conference papers and proceedings
Conference papers and proceedings.
Actes de congrès.
Form Electronic book
Author Gaspers, Serge, editor
Walsh, Toby, editor.
ISBN 9783319662633
3319662635
3319662627
9783319662626
Other Titles SAT 2017