Journal of Satisfiability, Boolean Modeling and Computation. IOS Press, Amsterdam; SAT Association. English. [1 vol. (= 4 issues) a year]
Journal, ISSN 1574-0617
http://www.iospress.nl/loadtop/load.php?isbn=15740617 http://satassociation.org/jsat