swMATH18721MaRDI QIDQ30553FDOQ30553
Author name not available (Why is that?)
Official website: https://arxiv.org/abs/1611.08733
Cited In (25)
- Relaxed weighted path order in theorem proving
- The 10th IJCAR automated theorem proving system competition -- CASC-J10
- Lash
- Hammering Mizar by Learning Clause Guidance (Short Paper).
- Heterogeneous heuristic optimisation and scheduling for first-order theorem proving
- Fast and slow enigmas and parental guidance
- Portfolio theorem proving and prover runtime prediction for geometry
- Learning theorem proving components
- ENIGMA-NG: efficient neural and gradient-boosted inference guidance for \(\mathrm{E}\)
- ENIGMA: efficient learning-based inference guiding machine
- MPTP 0.2
- Easychair
- E-MaLeS
- randoCoP
- BliStr
- FEMaLeCoP
- SEPIA
- ATPboost
- ENIGMA
- Proofwatch
- MurmurHash
- MachSMT
- lazyCoP
- Make E Smart Again (Short Paper)
- ProofWatch: watchlist guidance for large theories in E
This page was built for software: BliStrTune
