Login / Signup
2SAT Based Infeasibility Resolution during Design Rule Correction on Layouts with Multiple Grids.
Nitin Salodkar
Subramanian Rajagopalan
Sambuddha Bhattacharya
Shabbir H. Batterywala
Published in:
VLSI Design (2015)
Keyphrases
</>
case study
engineering design
learning algorithm
association rules
user interface
active learning
knowledge based systems
computer aided
planning problems