Route Finder: Efficiently Finding k Shortest Paths Using Constraint Programming. - Michel P. Lefebvre; Jean-François Puget; Petr Vilím (CP, 2011)