Back to the SAT05 Competition: an a Posteriori Analysis of Solver Performance on Industrial Benchmarks
暂无分享,去创建一个
[1] Emmanuel Zarpas,et al. Benchmarking SAT Solvers for Bounded Model Checking , 2005, SAT.
[2] Oliver Kullmann. The SAT 2005 Solver Competition on Random Instances , 2006, J. Satisf. Boolean Model. Comput..
[3] Armin Biere,et al. Symbolic Model Checking without BDDs , 1999, TACAS.
[4] Armin Biere,et al. Effective Preprocessing in SAT Through Variable and Clause Elimination , 2005, SAT.
[5] Marco Roveri,et al. Improved Decision Heuristics for High Performance SAT Based Static Property Checking , 2004 .