Concurrent Cube-and-Conquer - (Poster Presentation).

Peter van der Tak Marijn Heule Armin Biere

Published in: SAT (2012)

Keyphrases

poster presentation
multi dimensional
invited talk
acceptance rate
databases
data cube
program committee
knowledge discovery and data mining
oral presentation
real world
information retrieval
web pages
special session