SGGS decision procedures
From MaRDI portal
Publication:2096457
DOI10.1007/978-3-030-51074-9_20OpenAlexW3027307248MaRDI QIDQ2096457
Maria Paola Bonacina, Sarah Winkler
Publication date: 9 November 2022
Full work available at URL: https://doi.org/10.1007/978-3-030-51074-9_20
Related Items
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Ivy
- Semantically-guided goal-sensitive reasoning: model representation
- On deciding satisfiability by theorem proving with speculative inferences
- On word problems in Horn theories
- Termination of narrowing via termination of rewriting
- Deciding effectively propositional logic using DPLL and substitution sets
- Decidable fragments of many-sorted logic
- Modal languages and bounded fragments of predicate logic
- A fully syntactic AC-RPO.
- The TPTP problem library and associated infrastructure. From CNF to TH0, TPTP v6.4.0
- Semantically-guided goal-sensitive reasoning: inference system and completeness
- Conflict-driven satisfiability for theory combination: transition system and completeness
- SCL clause learning from simple models
- The model evolution calculus as a first-order DPLL method
- Automated model building
- Solvable cases of the decision problem
- Non-cyclic Sorts for First-Order Satisfiability
- A Model-Constructing Satisfiability Calculus
- NRCL - A Model Building Approach to the Bernays-Schönfinkel Fragment
- BDI: a new decidable clause class
- Back to the future
- Proof Systems for Effectively Propositional Logic
- Resolution Strategies as Decision Procedures
- On the Decision Problem for Two-Variable First-Order Logic
- Canonical Ground Horn Theories
- Inst-Gen – A Modular Approach to Instantiation-Based Automated Reasoning
This page was built for publication: SGGS decision procedures
