Selecting Theorem Prover Configurations Based on Problem Features
收藏数据链接：
官方服务：
资源简介：
This archive contains the raw evaluation results and scripts associated with the experiment described in the bachelor thesis "Selecting Theorem Prover Configurations Based on Problem Features" by Yingdi Xie (Vrije Universiteit Amsterdam).
提供机构：
Zenodo创建时间：
2021-07-08
