Login / Signup

MaLeS: A Framework for Automatic Tuning of Automated Theorem Provers.

Daniel KühlweinJosef Urban
Published in: J. Autom. Reason. (2015)
Keyphrases
  • main contribution
  • data driven
  • semi automatic
  • information retrieval
  • feature selection