Journal on Satisfiability, Boolean Modeling and Computation (JSAT)

Venue statistics

records by year

document access 

    frequent authors

      Venue Information

      • ISO 4 abbr.: J. Satisf. Boolean Model. Comput.
      • issn: 1574-0617
      • access: some or all publications openly available
      a service of  Schloss Dagstuhl - Leibniz Center for Informatics