Harri Haanpää, Matti Järvisalo, Petteri Kaski, Ilkka Niemelä. Hard Satisfiable Clause Sets for Benchmarking Equivalence Reasoning Techniques. JSAT, 2(1-4):27-46, 2006. [doi]
No references recorded for this publication.
No citations of this publication recorded.