Farsighted Probabilistic Sampling: A General Strategy for Boosting Local Search MaxSAT Solvers.

Jiongzhi Zheng Kun He Jianrong Zhou

Published in: AAAI (2023)

Keyphrases

sat solvers
special case
combinatorial optimization
probabilistic model
simulated annealing
bayesian networks
search strategy
parametric family
neural network
sampling strategy
global search
random sampling
base classifiers
branch and bound algorithm
tabu search
search algorithm
genetic algorithm
machine learning