Theory and applications of satisfiability testing - SAT 2017 : 20th International Conference, Melbourne, VIC, Australia, August 28-September 1, 2017 : proceedings

Author(s)

• International Conference on Theory and Applications of Satisfiability Testing
• Gaspers, Serge
• Walsh, Toby

Bibliographic Information

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.)

（Lecture notes in computer science, 10491 . LNCS sublibrary ; SL1 . Theoretical computer science and general issues）

Springer, c2017

Note

Includes bibliographical references and index

Description and Table of Contents

Description

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.

by "Nielsen BookData"

Details

• NCID: BB25794969
• ISBN:
  • 9783319662626
• LCCN: 2017949510
• Country Code: sz
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Cham
• Pages/Volumes: xiii, 476 p.
• Size: 24 cm
• Classification:
  • DC23 : 511.3
• Subject Headings:
  • LCSH : Propositional calculus -- Congresses
  • LCSH : Algebra, Boolean -- Congresses
  • LCSH : Computer algorithms -- Congresses
  • LCSH : Decision making -- Congresses
• Parent Bibliography ID:
  • BA00009279