Zarpas, Emmanuel, ‘Benchmarking SAT solvers for bounded model checking’, Proceedings of the 8th international conference on Theory and Applications of Satisfiability Testing, 2005, pp 340–354.
conference paper · https://doi.org/10.1007/11499107_25
Zarpas, Emmanuel, ‘Benchmarking SAT solvers for bounded model checking’, Proceedings of the 8th international conference on Theory and Applications of Satisfiability Testing, 2005, pp 340–354.
conference paper · https://doi.org/10.1007/11499107_25