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