Kostya Kanishev

According to our database, Kostya Kanishev authored at least 1 paper in 2020.

Collaborative distances:

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

2020

The Imandra Automated Reasoning System (System Description).

Grant O. Passmore, Simon Cruanes, Denis Ignatovich, Dave Aitken, Matt Bray, Elijah Kagan, Kostya Kanishev, Ewen Maclean, Nicola Mometto

Proceedings of the Automated Reasoning - 10th International Joint Conference, 2020