Speeding Up Constrained Path Solvers with a Reachability Propagator

Constrained path problems have to do with finding paths in graphs subject to constraints. One way of constraining the graph is by enforcing reachability on nodes. For instance, it may be required that a node reaches a particular set of nodes by respecting some restrictions like visiting a particular set of nodes or edges and using less than a certain amount of resources. The reachability constraints of this paper were suggested by a practical problem regarding mission planning in the context of an industrial project. We deal with this problem by using concurrent constraint programming where the problem is solved by interleaving Propagation and Labeling. In this paper, we define a propagator which we call Reachability that implements a generalized reachability constraint on a directed graph g. Given a source node source in g, we can identify three parts in the Reachability constraint: (1) the relation between each node of g and the set of nodes that it reaches, (2) the association of...

• Type: Conference
• Year: 2005
• Where: CP
• Authors: Luis Quesada, Peter Van Roy, Yves Deville
• Keywords: Constrained Path Problems, CP 2005, Programming Languages, Reachability, Reachability Constraint