Ranking Geometric Automated Theorem Provers

Authors

Keywords

Ranking, automated deduction

Journal

Electronic Proceedings in Theoretical Computer Science, Vol. 290, pp. 30-37 2019