SAT-based analysis of sensitisable paths.

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

Published in: DDECS (2011)

Keyphrases

statistical analysis
data analysis
database
neural network
quantitative analysis
databases
information retrieval
case study
multiscale
multi agent
active learning