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: Lehtiartikkeli

  3. 2009
  4. Julkaistu
  5. 2006
  6. Julkaistu

ID: 315575