swMATH15190MaRDI QIDQ27083FDOQ27083
Author name not available (Why is that?)
Official website: http://www4.in.tum.de/~schulz/PAPERS/KUS-CADE-2013.pdf
Cited In (17)
- Heterogeneous heuristic optimisation and scheduling for first-order theorem proving
- A neurally-guided, parallel theorem prover
- Portfolio theorem proving and prover runtime prediction for geometry
- MaLeS: a framework for automatic tuning of automated theorem provers
- ENIGMA: efficient learning-based inference guiding machine
- E-MaLeS 1.1
- PARTHEO
- PRocH
- BliStr
- BliStrTune
- FEMaLeCoP
- Hierarchical invention of theorem proving strategies
- Scavenger
- Automated deduction -- CADE-24. 24th international conference on automated deduction, Lake Placid, NY, USA, June 9--14, 2013. Proceedings
- Learning-assisted theorem proving with millions of lemmas
- Cooperating proof attempts
- Hammering towards QED
This page was built for software: E-MaLeS
