Pages that link to "Item:Q4507373"
From MaRDI portal
The following pages link to Formal-Language-Constrained Path Problems (Q4507373):
Displaying 19 items.
- Labeled cuts in graphs (Q313962) (← links)
- Time-dependent routing problems: a review (Q342083) (← links)
- The shortest kinship description problem (Q1653044) (← links)
- A trichotomy for regular simple path queries on graphs (Q2009646) (← links)
- Conflict resolving -- a local search algorithm for solving large scale conflict graphs in freight railway timetabling (Q2030368) (← links)
- Local higher-order fixpoint iteration (Q2105477) (← links)
- Path querying with conjunctive grammars by matrix multiplication (Q2217207) (← links)
- Topologically trivial closed walks in directed surface graphs (Q2223623) (← links)
- Source-tracking unification (Q2568436) (← links)
- Efficient computation of shortest paths in time-dependent multi-modal networks (Q2828194) (← links)
- User-constrained multimodal route planning (Q2828200) (← links)
- The Formal System of Dijkstra and Scholten (Q2945729) (← links)
- (Q4938596) (← links)
- (Q5021005) (← links)
- (Q5088964) (← links)
- A Parametrized Analysis of Algorithms on Hierarchical Graphs (Q5205039) (← links)
- Formal Derivation of a High-Trustworthy Generic Algorithmic Program for Solving a Class of Path Problems (Q5321691) (← links)
- Labeled shortest paths in digraphs with negative and positive edge weights (Q5321778) (← links)
- Routing in multimodal transportation networks with non-scheduled lines (Q6577780) (← links)