Pages that link to "Item:Q1749386"
From MaRDI portal
The following pages link to Star-topology decoupled state space search (Q1749386):
Displaying 6 items.
- Model checking \(\omega \)-regular properties with decoupled search (Q832281) (← links)
- On commutativity based edge lean search (Q2268917) (← links)
- Backdoors to planning (Q2321271) (← links)
- Online Relaxation Refinement for Satisficing Planning: On Partial Delete Relaxation, Complete Hill-Climbing, and Novelty Pruning (Q5026253) (← links)
- Strong Stubborn Set Pruning for Star-Topology Decoupled State Space Search (Q5227490) (← links)
- Star-Topology Decoupling in SPIN (Q5883577) (← links)