scientific article
From MaRDI portal
Publication:2723420
zbMath0963.68182MaRDI QIDQ2723420
Publication date: 5 July 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Semantically-guided goal-sensitive reasoning: model representation, Generalizing DPLL and satisfiability for equalities, The model evolution calculus as a first-order DPLL method, Comparing instance generation methods for automated reasoning, Hyperresolution for guarded formulae, Model evolution with equality -- revised and implemented, Semantically-guided goal-sensitive reasoning: inference system and completeness, Conflict resolution: a first-order resolution calculus with decision literals and conflict-driven clause learning, The Relative Power of Semantics and Unification, First-Order Resolution Methods for Modal Logics, A sound and complete model-generation procedure for consistent and confidentiality-preserving databases, Constructing infinite models represented by tree automata, A relevance restriction strategy for automated deduction
