Speeding Up Constrained Path Solvers with a Reachability Propagator.

Luis Quesada Peter Van Roy Yves Deville

Published in: CP (2005)

Keyphrases

global constraints
shortest path
state space
transitive closure
real time
databases
sat solvers
highly optimized
data sets