Login / Signup
Electrical Rule Checking of Integrated Circuits using Satisfiability Modulo Theory.
Bruno Ferres
O. Oulkaid
Ludovic Henrio
Mehdi Khosravian Ghadikolaei
Matthieu Moy
Gabriel Radanne
Pascal Raymond
Published in:
DATE (2023)
Keyphrases
</>
integrated circuit
printed circuit boards
np complete
theoretical framework
rule learning
electron beam
image processing
association rules
satisfiability problem