KAKENHI meeting 2023

Integration of Neural Networks and Reasoning
Talk

Graph Neural Networks for SAT Solving

Koji Watanabe

at  16:40 ! Livein  Friday (March 10th)for  30min

 Overview  Program