Algebras for combinatorial search
Combinatorial search strategies including depth-first, breadth-first and depth-bounded search are shown to be different implementations of a common algebraic specification that emphasizes the compositionality of the strategies. This specification is placed in a categorical setting that combines alge...
| Main Author: | |
|---|---|
| Format: | Journal article |
| Language: | English |
| Published: |
2009
|