Journal of Satisfiability, Boolean Modeling and Computation

Research outputs

  1. 2016
  2. Published

    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 Jan 2016, In : Journal of Satisfiability, Boolean Modeling and Computation. 9, p. 135-172

    Research output: Contribution to journalArticleScientificpeer-review

  3. 2009
  4. Published

    Incorporating Clause Learning in Grid-Based Randomized SAT Solving

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

    Research output: Contribution to journalArticleScientificpeer-review

  5. 2006
  6. Published

    Hard satisfiable clause sets for benchmarking equivalence reasoning techniques

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

    Research output: Contribution to journalArticleScientificpeer-review

ID: 315575