2SAT Based Infeasibility Resolution during Design Rule Correction on Layouts with Multiple Grids.

Nitin Salodkar, Subramanian Rajagopalan, Sambuddha Bhattacharya, Shabbir H. Batterywala

Browse the full VLSID paper archive.