Recording and Minimizing Nogoods from Restarts.

Christophe Lecoutre Lakhdar Sais Sébastien Tabary Vincent Vidal

Published in: J. Satisf. Boolean Model. Comput. (2007)

Keyphrases

backtracking search
clause learning
constraint satisfaction problems
random walk
global constraints
database
information retrieval
lower bound
search problems
symmetry breaking
video recordings
real time
multimedia
case study
artificial neural networks
magnetic recording