Login / Signup
Linear algebraic depth-first search.
Daniele G. Spampinato
Upasana Sridhar
Tze Meng Low
Published in:
ARRAY@PLDI (2019)
Keyphrases
</>
depth first search
breadth first search
search tree
tree search
branch and bound
routing problem
data structure
state space
temporal reasoning
spanning tree
parallel tree search