Kumar, Mohit, Samuel Kolb, Stefano Teso, and Luc De Raedt. 2020. “Learning MAX-SAT from Contextual Examples for Combinatorial Optimisation”. Proceedings of the AAAI Conference on Artificial Intelligence 34 (04):4493-4500. https://doi.org/10.1609/aaai.v34i04.5877.