Cited in
(26)- Simple and Efficient Clause Subsumption with Feature Vector Indexing
- Larry Wos: visions of automated reasoning
- Logic for Programming, Artificial Intelligence, and Reasoning
- Octopus: combining learning and parallel search
- Automatic proofs and counterexamples for some ortholattice identities
- The clause-diffusion theorem prover Peers-mcd (system description)
- On the modelling of search in theorem proving -- towards a theory of strategy analysis
- Robbins algebras are Boolean: A revision of McCune's computer-generated solution of Robbins problem
- PLAGIATOR
- TGTP
- AURA
- Octopus
- Roo
- SNARK
- HERBY
- SPTHEO
- Peers-mcd
- PARTHENON
- METEOR
- Aquarius
- Omega-MKRP
- Knowledge-based proof planning
- Lattice theory for rough sets -- a case study with Mizar
- scientific article; zbMATH DE number 1765690 (Why is no real title available?)
- Citius altius fortius: lessons learned from the theorem prover Waldmeister
- Well-behaved search and the Robbins problem
This page was built for software: EQP