TY  - RPRT
TI  - MaLeS: A Framework for Automatic Tuning of Automated Theorem Provers
AU  - Daniel Kühlwein
AU  - Josef Urban
PY  - 2014
UR  - https://arxiv.org/abs/1308.2116
ID  - 1308.2116
ER  -