C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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