Comparing instance generation methods for automated reasoning
From MaRDI portal
Publication:877884
DOI10.1007/s10817-006-9046-xzbMath1113.68089OpenAlexW2006807333MaRDI QIDQ877884
Publication date: 4 May 2007
Published in: Journal of Automated Reasoning (Search for Journal in Brave)
Full work available at URL: http://edoc.mpg.de/279121
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (6)
Semantically-guided goal-sensitive reasoning: model representation ⋮ Craig interpolation with clausal first-order tableaux ⋮ A combined superposition and model evolution calculus ⋮ Semantically-guided goal-sensitive reasoning: inference system and completeness ⋮ What Is Essential Unification? ⋮ Set of support, demodulation, paramodulation: a historical perspective
Cites Work
- Unnamed Item
- Unnamed Item
- Eliminating dublication with the hyper-linking strategy
- Ordered semantic hyper-linking
- Partial instantiation methods for inference in first-order logic
- Proof and Model Generation with Disconnection Tableaux
- Automated Reasoning
- Automated Reasoning with Analytic Tableaux and Related Methods
- A machine program for theorem-proving
- Automated Deduction – CADE-19
This page was built for publication: Comparing instance generation methods for automated reasoning
