Journal on Satisfiability, Boolean Modeling and Computation (JSAT)

Venue Information

  • issn: 1574-0617
  • access: some or all publications openly available
a service of Schloss Dagstuhl - Leibniz Center for Informatics