Journal on Satisfiability, Boolean Modeling and Computation ISSN: 1574-0617

JSAT is an open access peer reviewed journal, publishing high quality original research papers and survey papers which evidently contribute to deeper insight. It is an electronic medium, guaranteeing fast publication.

JSAT volume 11 Special volume on SAT 2018 Competitions and Evaluations

Guest editors: Martina Seidl and Luca Pulina

Table of Contents