Generalized SAT-sweeping for post-mapping optimization.

Tobias Welp, Smita Krishnaswamy, Andreas Kuehlmann

Browse the full DAC paper archive.