Structuring Depth-First Search Algorithms in Haskell.
David J. KingJohn LaunchburyPublished in: POPL (1995)
Keyphrases
- search algorithm
- search strategy
- search tree
- branch and bound
- programming language
- search space
- functional programming
- heuristic search
- iterative deepening
- tree search
- search problems
- plagiarism detection
- tabu search
- branch and bound search
- alpha beta
- heuristic search algorithms
- functional language
- search strategies
- hill climbing
- database
- satisfiability problem
- search methods
- metaheuristic
- orders of magnitude
- open source
- high level