A Deep Reinforcement Learning Heuristic for SAT based on Antagonist Graph Neural Networks. - Thomas Fournier; Arnaud Lallouet; Télio Cropsal; Gaël Glorian; Alexandre Papadopoulos; Antoine Petitet; Guillaume Perez; Suruthy Sekar; Wijnand Suijlen (ICTAI, 2022)