Heuristic search for equivalence checking.
Nicoletta De FrancescoGiuseppe LettieriAntonella SantoneGigliola VagliniPublished in: Softw. Syst. Model. (2016)
Keyphrases
- heuristic search
- state space
- search algorithm
- search space
- constraint satisfaction
- state space search
- heuristic search algorithms
- planning problems
- search problems
- optimal planning
- ai planning
- automated planning
- search strategies
- path finding
- bidirectional search
- beam search
- heuristic function
- data mining
- pattern databases
- genetic programming
- forward search