A Deep Reinforcement Learning Heuristic for SAT based on Antagonist Graph Neural Networks.

Thomas Fournier, Arnaud Lallouet, Tlio Cropsal, Gal Glorian, Alexandre Papadopoulos, Antoine Petitet, Guillaume Perez, Suruthy Sekar, Wijnand Suijlen

Browse the full ICTAI paper archive.