Ruiyang Xu, Karl J. Lieberherr. Towards Tackling QSAT Problems with Deep Learning and Monte Carlo Tree Search. In Kohei Arai, editor, Intelligent Computing - Proceedings of the 2022 Computing Conference, Volume 2, SAI 2022, Virtual Event, 14-15 July 2022. Volume 507 of Lecture Notes in Networks and Systems, pages 45-58, Springer, 2022. [doi]
Abstract is missing.