Login / Signup
On Determining the Real Output Xs by SAT-Based Reasoning.
Melanie Elm
Michael A. Kochte
Hans-Joachim Wunderlich
Published in:
Asian Test Symposium (2010)
Keyphrases
</>
search algorithm
real world
database
data mining
real life
machine learning
learning algorithm
satisfiability problem