MaLeS: A Framework for Automatic Tuning of Automated Theorem Provers
Crossref DOI link: https://doi.org/10.1007/s10817-015-9329-1
Published Online: 2015-07-16
Published Print: 2015-08
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Kühlwein, Daniel
Urban, Josef
License valid from 2015-07-16