Evaluation of an MSO-Solver.

Alexander Langer Felix Reidl Peter Rossmanith Somnath Sikdar

Published in: ALENEX (2012)

Keyphrases

evaluation method
evaluation process
data sets
neural network
machine learning
artificial intelligence
markov decision processes
integrity constraints
evaluation model