Concurrent Cube-and-Conquer.

Peter van der Tak Marijn Heule Armin Biere

Published in: CoRR (2014)

Keyphrases

multi dimensional
data cube
real time
long running
data sets
databases
real world
artificial intelligence
data structure
evolutionary algorithm