Sign in

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

Nitin SalodkarSubramanian RajagopalanSambuddha BhattacharyaShabbir 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