Learning MAX-SAT from Contextual Examples for Combinatorial Optimisation

8 February 2022

Papers citing "Learning MAX-SAT from Contextual Examples for Combinatorial Optimisation"

6 / 6 papers shown

Title
Reasoning in Neurosymbolic AI Son N. Tran E. Mota Artur Garcez NAI 22 0 0 22 May 2025
torchmSAT: A GPU-Accelerated Approximation To The Maximum Satisfiability Problem Abdelrahman I. Hosny Sherief Reda 63 1 0 06 Feb 2024
Machine Learning for Combinatorial Optimisation of Partially-Specified Problems: Regret Minimisation as a Unifying Lens Stefano Teso Laurens Bliek Andrea Borghesi M. Lombardi Neil Yorke-Smith Tias Guns Andrea Passerini 45 2 0 20 May 2022
Predictive Machine Learning of Objective Boundaries for Solving COPs Helge Spieker A. Gotlieb 21 0 0 04 Nov 2021
Learning Mixed-Integer Linear Programs from Contextual Examples Mohit Kumar Samuel Kolb Luc de Raedt Stefano Teso 165 5 0 15 Jul 2021
Learning from Survey Propagation: a Neural Network for MAX-E- $3$ -SAT Raffaele Marino 63 14 0 10 Dec 2020