Proof Systems for Effectively Propositional Logic
From MaRDI portal
Publication:3541721
DOI10.1007/978-3-540-71070-7_36zbMath1165.03318OpenAlexW1564167468MaRDI QIDQ3541721
Andrei Voronkov, J. A. Navarro
Publication date: 27 November 2008
Published in: Automated Reasoning (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-71070-7_36
Related Items
Semantically-guided goal-sensitive reasoning: model representation ⋮ Semantically-guided goal-sensitive reasoning: decision procedures and the Koala prover ⋮ NRCL - A Model Building Approach to the Bernays-Schönfinkel Fragment ⋮ Deciding Effectively Propositional Logic Using DPLL and Substitution Sets ⋮ Superposition for Bounded Domains ⋮ Inst-Gen – A Modular Approach to Instantiation-Based Automated Reasoning ⋮ Deciding effectively propositional logic using DPLL and substitution sets ⋮ Decidable \({\exists}^*{\forall}^*\) first-order fragments of linear rational arithmetic with uninterpreted predicates ⋮ SCL clause learning from simple models ⋮ Writing Declarative Specifications for Clauses ⋮ SGGS decision procedures ⋮ A posthumous contribution by Larry Wos: excerpts from an unpublished column
Uses Software
