KAKENHI meeting FY2023

Speaker

Akihiro Takemura

Talks at this conference:
 16:40 Differentiable solver for Sudoku and Logic Programs under Stable Model Semantics

 Overview