The following pages link to DISCOUNT (Q31438):
Displaying 30 items.
- Octopus: combining learning and parallel search (Q861370) (← links)
- Filter-based resolution principle for lattice-valued propositional logic LP\((X)\) (Q867665) (← links)
- Limited resource strategy in resolution theorem proving (Q1404979) (← links)
- Automatic acquisition of search control knowledge from multiple proof attempts. (Q1854367) (← links)
- Proving theorems by reuse (Q1978233) (← links)
- Set of support, demodulation, paramodulation: a historical perspective (Q2102923) (← links)
- \textsf{Goéland}: a concurrent tableau-based theorem prover (system description) (Q2104525) (← links)
- Faster, higher, stronger: E 2.3 (Q2305435) (← links)
- Machine learning for first-order theorem proving (Q2351414) (← links)
- Extensional higher-order paramodulation in Leo-III (Q2666959) (← links)
- Performance of Clause Selection Heuristics for Saturation-Based Theorem Proving (Q2817933) (← links)
- Cooperating Proof Attempts (Q3454105) (← links)
- (Q4447245) (← links)
- Learning domain knowledge to improve theorem proving (Q4647500) (← links)
- (Q4797443) (← links)
- Simple and Efficient Clause Subsumption with Feature Vector Indexing (Q4913860) (← links)
- Inst-Gen – A Modular Approach to Instantiation-Based Automated Reasoning (Q4916080) (← links)
- Citius altius fortius (Q4916218) (← links)
- (Q4989394) (← links)
- Implementing Superposition in iProver (System Description) (Q5049017) (← links)
- Fine-grained concurrent completion (Q5055848) (← links)
- (Q5219924) (← links)
- Integration of automated and interactive theorem proving in ILF (Q5234689) (← links)
- SAT-Inspired Eliminations for Superposition (Q5875949) (← links)
- Superposition with lambdas (Q5918381) (← links)
- Making higher-order superposition work (Q5918403) (← links)
- A comprehensive framework for saturation theorem proving (Q5918558) (← links)
- Making higher-order superposition work (Q5918575) (← links)
- Formalizing Bachmair and Ganzinger's ordered resolution prover (Q5919011) (← links)
- A comprehensive framework for saturation theorem proving (Q5970776) (← links)
