A proof engine approach to solving combinational design automation problems.

Gunnar Andersson, Per Bjesse, Byron Cook, Ziyad Hanna

Browse the full DAC paper archive.