Towards Tackling MaxSAT by Combining Nested Monte Carlo with Local Search.
Hui WangAbdallah SaffidineTristan CazenavePublished in: CoRR (2023)
Keyphrases
- monte carlo
- combinatorial optimization
- markov chain
- monte carlo methods
- importance sampling
- monte carlo simulation
- markovian decision
- genetic algorithm
- monte carlo tree search
- stochastic approximation
- simulated annealing
- simulation study
- temporal difference
- monte carlo method
- adaptive sampling
- optimal solution
- search algorithm
- particle filter
- branch and bound algorithm
- search space
- machine learning
- quasi monte carlo
- point processes
- game tree
- dynamic programming
- upper bound
- branch and bound
- least squares