Dominant Controllability Check Using QBF-Solver and Netlist Optimizer.

Tamir Heyman, Dan Smith, Yogesh Mahajan, Lance Leong, Husam Abu-Haimed

Browse the full SAT paper archive.