Login / Signup
Sho Torii
Publication Activity (10 Years)
Years Active: 2016-2017
Publications (10 Years): 2
Top Topics
Horn Clauses
Rule Induction
Database Queries
Logic Programs
Top Venues
CoRR
CAV (2)
</>
Publications
</>
Hiroshi Unno
,
Sho Torii
,
Hiroki Sakamoto
Automating Induction for Solving Horn Clauses.
CAV (2)
(2017)
Hiroshi Unno
,
Sho Torii
Automating Induction for Solving Horn Clauses.
CoRR
(2016)