Combining Nogoods in Restart-Based Search.

Gael Glorian Frédéric Boussemart Jean-Marie Lagniez Christophe Lecoutre Bertrand Mazure

Published in: CP (2017)

Keyphrases

search algorithm
search space
information retrieval
search strategy
constraint satisfaction problems
semantic search
symmetry breaking
digital libraries
search tools
database systems
special case
np complete
search methods
keyword search
search tree
search procedure