Publications

Benchmarking SAT solvers for bounded model checking

• • Emmanuel Zarpas
• 2005
• SAT 2005