Journal of Satisfiability, Boolean Modeling and Computation

Tutkimustuotokset

  1. 2016
  2. Julkaistu

    Hardware model checking competition 2014: An analysis and comparison of solvers and benchmarks

    Cabodi, G., Loiacono, C., Palena, M., Pasini, P., Patti, D., Quer, S., Vendraminetto, D., Biere, A. & Heljanko, K., 28 tammikuuta 2016, julkaisussa : Journal of Satisfiability, Boolean Modeling and Computation. 9, s. 135-172

    Tutkimustuotos: Lehtiartikkelivertaisarvioitu

  3. 2009
  4. Julkaistu

    Incorporating Clause Learning in Grid-Based Randomized SAT Solving

    Hyvärinen, A. E. J., Junttila, T. & Niemelä, I., 2009, julkaisussa : Journal of Satisfiability, Boolean Modeling and Computation. 6, s. 223-244

    Tutkimustuotos: Lehtiartikkelivertaisarvioitu

  5. 2006
  6. Julkaistu

    Hard satisfiable clause sets for benchmarking equivalence reasoning techniques

    Haanpää, H., Järvisalo, M., Kaski, P. & Niemelä, I., 2006, julkaisussa : Journal of Satisfiability, Boolean Modeling and Computation. 2, s. 27-46

    Tutkimustuotos: Lehtiartikkelivertaisarvioitu

ID: 315575