On Resolution Proofs for Combinational Equivalence.

Satrajit Chatterjee, Alan Mishchenko, Robert K. Brayton, Andreas Kuehlmann

Browse the full DAC paper archive.