Theory and applications of satisfiability testing – SAT 2018: 21st international conference, SAT 2018, held as part of the federated logic conference, FloC 2018, Oxford, UK, July 9–12, 2018: proceedings (pdf)

$12.00

Author Beyersdorff, Olaf; Wintersteiger, Christoph M
Edition 1
Edition Year 2018
Format PDF
ISBN 9783319941431
Language English
Number Of Pages 471
Publisher springer

Description

The 20 revised full papers, 4 short papers, and 2 tool papers were carefully reviewed and selected from 58 submissions. The papers address different aspects of SAT interpreted in a broad sense, including theoretical advances (such as exact algorithms, proof complexity, and other complexity issues), practical search algorithms, knowledge compilation, implementation-level details of SAT solvers and SAT-based systems, problem encodings and reformulations, applications as well as case studies and reports on findings based on rigorous experimentation. They are organized in the following topical sections: maximum satisfiability; conflict driven clause learning; model counting; quantified Boolean formulae; theory; minimally unsatisfiable sets; satisfiability modulo theories; and tools and applications.

Additional information

Author

Beyersdorff, Olaf; Wintersteiger, Christoph M

Edition

1

Edition Year

2018

Format

PDF

ISBN

9783319941431

Language

English

Number Of Pages

471

Publisher

springer

Reviews

There are no reviews yet.

Be the first to review “Theory and applications of satisfiability testing – SAT 2018: 21st international conference, SAT 2018, held as part of the federated logic conference, FloC 2018, Oxford, UK, July 9–12, 2018: proceedings (pdf)”

Your email address will not be published. Required fields are marked *