Hard Satisfiable Clause Sets for Benchmarking Equivalence Reasoning Techniques.

Published in: J. Satisf. Boolean Model. Comput. (2006)

Keyphrases