Sho Torii

According to our database, Sho Torii authored at least 2 papers between 2016 and 2017.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2017

Automating Induction for Solving Horn Clauses.

Hiroshi Unno, Sho Torii, Hiroki Sakamoto

Proceedings of the Computer Aided Verification - 29th International Conference, 2017

2016

Automating Induction for Solving Horn Clauses.

Hiroshi Unno, Sho Torii

CoRR, 2016