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