Login / Signup
Kodai Hashimoto
Publication Activity (10 Years)
Years Active: 2015-2015
Publications (10 Years): 0
Top Topics
Horn Theories
Distributed Search
Constraint Optimization
Constraint Networks
Top Venues
CoRR
SAS
</>
Publications
</>
Kodai Hashimoto
,
Hiroshi Unno
Refinement Type Inference via Horn Constraint Optimization.
SAS
(2015)
Kodai Hashimoto
,
Hiroshi Unno
Refinement Type Inference via Horn Constraint Optimization.
CoRR
(2015)