KAKENHI meeting FY2023

Afternoon Session 2 (Day1)

Differentiable solver for Sudoku and Logic Programs under Stable Model Semantics

Akihiro Takemura

at  16:40in  Thursday (September 14th)for  30min

 Overview  Program