C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Sota Moriyama
ORCID
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 1
Top Topics
Hidden Structure
Automatic Extraction
Max Sat
Unsatisfiable Cores
Top Venues
ILP
</>
Publications
</>
Sota Moriyama
,
Koji Watanabe
,
Katsumi Inoue
GNN Based Extraction of Minimal Unsatisfiable Subsets.
ILP
(2023)