Stochastic Local Search and Machine Learning: From Theory to Applications and Vice Versa.

Ole Jakob Mengshoel Tong Yu Ming Zeng

Published in: ECAI (2020)

Keyphrases

stochastic local search
machine learning
satisfiability problem
combinatorial optimisation
reinforcement learning
randomly generated
sat problem
max sat
orders of magnitude
monte carlo
computationally hard problems