Monte-Carlo Style UCT Search for Boolean Satisfiability.
Alessandro PrevitiRaghuram RamanujanMarco SchaerfBart SelmanPublished in: AI*IA (2011)
Keyphrases
- monte carlo
- boolean satisfiability
- symmetry breaking
- search algorithm
- markov chain
- monte carlo tree search
- uct algorithm
- game tree search
- game tree
- sat solvers
- randomly generated
- search strategy
- search space
- optimal strategy
- integer linear programming
- machine learning
- temporal difference
- tree search
- search strategies
- search methods