Representing Circuits More Efficiently in Symbolic Model Checking.

Jerry R. Burch, Edmund M. Clarke, David E. Long

Browse the full DAC paper archive.