Dependency Schemes for DQBF.

Ralf Wimmer Christoph Scholl Karina Wimmer Bernd Becker

Published in: SAT (2016)

Keyphrases

e learning
image processing
feature extraction
real time
data sets
databases
data mining
decision making
three dimensional
multi agent
multi agent systems
evolutionary algorithm
medical images
database schemes