SAT-Based Analysis of Sensitizable Paths.

Matthias Sauer Alexander Czutro Tobias Schubert Stefan Hillebrecht Ilia Polian Bernd Becker

Published in: IEEE Des. Test (2013)

Keyphrases

data analysis
statistical analysis
database
data sets
machine learning
image analysis