Embedding Memoization to the Semantic Tree Search for Deciding QBFs.
Mohammad GhasemzadehVolker KlotzChristoph MeinelPublished in: Australian Conference on Artificial Intelligence (2004)
Keyphrases
- tree search
- branch and bound
- search algorithm
- constraint propagation
- game tree search
- mathematical programming
- tree search algorithm
- search tree
- iterative deepening
- path finding
- depth first search
- state space
- search space
- game tree
- constraint programming
- search strategy
- branch and bound algorithm
- mobile robot
- cost function
- lower bound
- quantified boolean formulas
- optimal solution