MILP-SAT-GNN: Yet Another Neural SAT Solver

Franco Alberto Cardillo, Hamza Khyari, Umberto Straccia

We proposes a novel method that enables Graph Neural Networks (GNNs) to solve SAT problems by leveraging a technique developed for applying GNNs to Mixed Integer Linear Programming…