Speeding Up Heuristic Function Synthesis via Extending the Formula Grammar.
Sergio Poo HernandezVadim BulitkoPublished in: SOCS (2021)
Keyphrases
- heuristic function
- heuristic search
- state space
- evaluation function
- search algorithm
- heuristic functions
- search methods
- search space
- hill climbing
- search tree
- game tree
- initial state
- graph partitioning
- lookup table
- expected outcome
- reinforcement learning
- exhaustive search
- solution space
- model checking
- orders of magnitude