TY  - BOOK
AU  - Gaspers,Serge
AU  - Walsh,Toby
ED  - SpringerLink (Online service)
TI  - Theory and Applications of Satisfiability Testing – SAT 2017: 20th International Conference, Melbourne, VIC, Australia, August 28 – September 1, 2017, Proceedings 
T2  - Theoretical Computer Science and General Issues
SN  - 9783319662633
AV  - QA75.5-76.95 
U1  - 004.0151 23
PY  - 2017///
CY  - Cham
PB  - Springer International Publishing, Imprint: Springer
KW  - Computers
KW  - Artificial intelligence
KW  - Software engineering
KW  - Operating systems (Computers)
KW  - Computer organization
KW  - Numerical analysis
KW  - Theory of Computation
KW  - Artificial Intelligence
KW  - Software Engineering
KW  - Operating Systems
KW  - Computer Systems Organization and Communication Networks
KW  - Numeric Computing
N1  - Available to subscribing member institutions only. Доступно лише організаціям членам підписки
N2  - 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
UR  - https://doi.org/10.1007/978-3-319-66263-3
ER  -