BliStrTune
From MaRDI portal
Cited in
(26)- lazyCoP
- MPTP
- MPTP 0.2
- ProofWatch: watchlist guidance for large theories in E
- Heterogeneous heuristic optimisation and scheduling for first-order theorem proving
- Learning theorem proving components
- Relaxed weighted path order in theorem proving
- ENIGMA-NG: efficient neural and gradient-boosted inference guidance for \(\mathrm{E}\)
- ENIGMA: efficient learning-based inference guiding machine
- Easychair
- Portfolio theorem proving and prover runtime prediction for geometry
- randoCoP
- E-MaLeS
- BliStr
- FEMaLeCoP
- SEPIA
- ATPboost
- Proofwatch
- ENIGMA
- MurmurHash
- The 10th IJCAR automated theorem proving system competition -- CASC-J10
- Make E Smart Again (Short Paper)
- MachSMT
- Hammering Mizar by Learning Clause Guidance (Short Paper).
- Lash
- Fast and slow enigmas and parental guidance
This page was built for software: BliStrTune
