Multiple-Outcome Proof Number Search.

Abdallah Saffidine Tristan Cazenave

Published in: ECAI (2012)

Keyphrases

search algorithm
computational complexity
search space
case study
database
real time
data sets
databases
artificial intelligence
database systems
small number
memory requirements
solution space
keyword search