Login / Signup
Télio Cropsal
Publication Activity (10 Years)
Years Active: 2022-2022
Publications (10 Years): 1
Top Topics
Tree Search
Sat Solvers
Reinforcement Learning
Maximum Independent Set
Top Venues
ICTAI
</>
Publications
</>
Thomas Fournier
,
Arnaud Lallouet
,
Télio Cropsal
,
Gaël Glorian
,
Alexandre Papadopoulos
,
Antoine Petitet
,
Guillaume Perez
,
Suruthy Sekar
,
Wijnand Suijlen
A Deep Reinforcement Learning Heuristic for SAT based on Antagonist Graph Neural Networks.
ICTAI
(2022)