Learning MAX-SAT from contextual examples for combinatorial optimisation.

Mohit Kumar Samuel Kolb Stefano Teso Luc De Raedt

Published in: Artif. Intell. (2023)

Keyphrases

combinatorial optimisation
max sat
learning algorithm
branch and bound algorithm
reinforcement learning
search algorithm
dynamic programming
language model