Journal on Satisfiability, Boolean Modeling and Computation

JSAT Home Page

JSAT @ IOS Press

maintained by Schloss Dagstuhl LZI at University of Trier