A Deep Reinforcement Learning Heuristic for SAT based on Antagonist Graph Neural Networks - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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. In Marek Z. Reformat, Du Zhang, Nikolaos G. Bourbakis, editors, 34th IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2022, Macao, China, October 31 - November 2, 2022. pages 1218-1222, IEEE, 2022. [doi]

This author has not been identified. Look up 'Thomas Fournier' in GoogleThis author has not been identified. Look up 'Arnaud Lallouet' in GoogleThis author has not been identified. Look up 'Télio Cropsal' in GoogleThis author has not been identified. Look up 'Gaël Glorian' in GoogleThis author has not been identified. Look up 'Alexandre Papadopoulos' in GoogleThis author has not been identified. Look up 'Antoine Petitet' in GoogleThis author has not been identified. Look up 'Guillaume Perez' in GoogleThis author has not been identified. Look up 'Suruthy Sekar' in GoogleThis author has not been identified. Look up 'Wijnand Suijlen' in Google

runs on WebDSL