Learning MAX-SAT from Contextual Examples for Combinatorial Optimisation.

Mohit Kumar Samuel Kolb Stefano Teso Luc De Raedt

Published in: AAAI (2020)

Keyphrases

combinatorial optimisation
learning algorithm
max sat
reinforcement learning
language model
constraint satisfaction
stochastic local search
tabu search
satisfiability problem