M. Kumar, S. Kolb, S. Teso, and L. De Raedt, “Learning MAX-SAT from Contextual Examples for Combinatorial Optimisation”, AAAI, vol. 34, no. 04, pp. 4493-4500, Apr. 2020.