Takahiro Nagao

Publication Activity (10 Years)

Years Active: 2016-2018
Publications (10 Years): 2

Top Topics

Constrained Problems

Linear Inequalities

Explanation Based Learning

Top Venues

Sci. Comput. Program.

Publications

Takahiro Nagao, Naoki Nishida
Rewriting induction for constrained inequalities. Sci. Comput. Program. 155 (2018)
Takahiro Nagao, Naoki Nishida
Proving inductive validity of constrained inequalities. PPDP (2016)