A Formal Model for Heuristic Search.
Boris StilmanPublished in: ACM Conference on Computer Science (1994)
Keyphrases
- formal model
- heuristic search
- search algorithm
- search space
- state space
- constraint satisfaction
- search strategies
- bidirectional search
- search problems
- path finding
- automated planning
- state space search
- forward search
- security patterns
- formal models
- security properties
- orders of magnitude
- heuristic function
- heuristic search algorithms
- pattern databases
- particle swarm optimization
- software engineering
- ai planning
- beam search
- genetic algorithm