Deterministic parallel backtrack search.

Kieran T. Herley Andrea Pietracaprina Geppino Pucci

Published in: Theor. Comput. Sci. (2002)

Keyphrases

backtrack search
constraint programming
constraint satisfaction problems
constraint satisfaction
highly efficient
propositional satisfiability
sat solvers
real time
information retrieval
genetic algorithm
knowledge base
low complexity
combinatorial problems