Optimal Speedup for Backtrack Search on a Butterfly Network.

Abhiram G. Ranade

Published in: Math. Syst. Theory (1994)

Keyphrases

backtrack search
knowledge base
dynamic programming
constraint satisfaction
highly efficient
real time
objective function
lower bound
constraint satisfaction problems
industrial applications