Login / Signup
Verification of the Power and Ground Grids Under General and Hierarchical Constraints.
Mehmet Avci
Farid N. Najm
Published in:
IEEE Trans. Very Large Scale Integr. Syst. (2016)
Keyphrases
</>
special case
closely related
constraint satisfaction
computer vision
model checking
hierarchical structure
power consumption
bayesian networks
coarse to fine