Solving QSAT problems with neural MCTS

17 January 2021

Papers citing "Solving QSAT problems with neural MCTS"

2 / 2 papers shown

Title
Relational inductive biases, deep learning, and graph networks Peter W. Battaglia Jessica B. Hamrick V. Bapst Alvaro Sanchez-Gonzalez V. Zambaldi ... Pushmeet Kohli M. Botvinick Oriol Vinyals Yujia Li Razvan Pascanu AI4CE NAI 455 3,101 0 04 Jun 2018
Thinking Fast and Slow with Deep Learning and Tree Search Thomas W. Anthony Zheng Tian David Barber 78 387 0 23 May 2017