Login / Signup
A Framework for Verifying Depth-First Search Algorithms.
Peter Lammich
René Neumann
Published in:
Arch. Formal Proofs (2016)
Keyphrases
</>
search algorithm
lightweight
main contribution
search tree
real time
data mining
data sets
databases
machine learning
knowledge base
decision trees
probabilistic model
search methods
constraint propagation
tree search
iterative deepening