Combinational Equivalence Checking Using Incremental SAT Solving, Output Ordering, and Resets.

Stefan Disch, Christoph Scholl

Browse the full ASPDAC paper archive.