Pages that link to "Item:Q4913860"

The following pages link to Simple and Efficient Clause Subsumption with Feature Vector Indexing (Q4913860):

Displaying 19 items.

• Aligning concepts across proof assistant libraries (Q1640642) (← links)
• Set of support, demodulation, paramodulation: a historical perspective (Q2102923) (← links)
• An efficient subsumption test pipeline for BS(LRA) clauses (Q2104505) (← links)
• Pay-as-you-go consequence-based reasoning for the description logic \(\mathcal{SROIQ} \) (Q2238693) (← links)
• \(\mathrm{K}_{\mathrm S}\mathrm{P}\) a resolution-based theorem prover for \({\mathsf{K}}_n\): architecture, refinements, strategies and experiments (Q2303247) (← links)
• Faster, higher, stronger: E 2.3 (Q2305435) (← links)
• GKC: a reasoning system for large knowledge bases (Q2305438) (← links)
• : A Resolution-Based Prover for Multimodal K (Q2817940) (← links)
• Predicate Elimination for Preprocessing in First-Order Theorem Proving (Q2818027) (← links)
• Ordered Resolution for Coalition Logic (Q3455769) (← links)
• Engineering DPLL(T) + Saturation (Q3541724) (← links)
• Simple and Efficient Clause Subsumption with Feature Vector Indexing (Q4913860) (← links)
• Inst-Gen – A Modular Approach to Instantiation-Based Automated Reasoning (Q4916080) (← links)
• Implementing Superposition in iProver (System Description) (Q5049017) (← links)
• ENIGMA Anonymous: Symbol-Independent Inference Guiding Machine (System Description) (Q5049022) (← links)
• The CADE-28 Automated Theorem Proving System Competition – CASC-28 (Q5069650) (← links)
• The CADE-26 automated theorem proving system competition – CASC-26 (Q5145427) (← links)
• The 9th IJCAR Automated Theorem Proving System Competition – CASC-J9 (Q5145447) (← links)
• A multi-clause dynamic deduction algorithm based on standard contradiction separation rule (Q6086313) (← links)