Enhanced Integration of QBF Solving Techniques.

Sven Reimer Florian Pigorsch Christoph Scholl Bernd Becker

Published in: MBMV (2012)

Keyphrases

data integration
database
data sets
evolutionary algorithm
data fusion