Towards Tackling MaxSAT by Combining Nested Monte Carlo with Local Search.
Hui WangAbdallah SaffidineTristan CazenavePublished in: LION (2023)
Keyphrases
- monte carlo
- combinatorial optimization
- monte carlo simulation
- importance sampling
- markov chain
- monte carlo methods
- adaptive sampling
- monte carlo tree search
- search algorithm
- upper bound
- simulation study
- monte carlo method
- point processes
- matrix inversion
- temporal difference
- particle filter
- branch and bound algorithm
- bayesian networks
- simulated annealing
- dynamic programming
- search space
- markovian decision
- search strategies
- global illumination
- optimal strategy
- graphical models
- state space
- optimal solution