Deep Integration of Circuit Simulator and SAT Solver.

He-Teng Zhang, Jie-Hong R. Jiang, Luca G. Amar, Alan Mishchenko, Robert K. Brayton

Browse the full DAC paper archive.