Integration of orthogonal QBF solving techniques.

Sven Reimer Florian Pigorsch Christoph Scholl Bernd Becker

Published in: DATE (2011)

Keyphrases

data fusion
data integration
data sets
objective function
linear program
industrial applications
solving problems
graph coloring
boolean formula