Sign in
PHAETON: A SAT-Based Framework for Timing-Aware Path Sensitization.
Matthias Sauer
Bernd Becker
Ilia Polian
Published in:
IEEE Trans. Computers (2016)
Keyphrases
</>
main contribution
neural network
lightweight
theoretical framework
search engine
bayesian framework
information systems
e learning
image segmentation
probabilistic model
knowledge representation