Darwin

swMATH4175MaRDI QIDQ16359

No author found.

Related Items (26)

Semantically-guided goal-sensitive reasoning: model representation ⋮ Automated Reasoning Building Blocks ⋮ Exploring Theories with a Model-Finding Assistant ⋮ The model evolution calculus as a first-order DPLL method ⋮ Unnamed Item ⋮ Blending under deconstruction. The roles of logic, ontology, and cognition in computational concept invention ⋮ Constraint solving for finite model finding in SMT solvers ⋮ NRCL - A Model Building Approach to the Bernays-Schönfinkel Fragment ⋮ Model evolution with equality -- revised and implemented ⋮ Semantically-guided goal-sensitive reasoning: inference system and completeness ⋮ Model Representation over Finite and Infinite Signatures ⋮ Theorem proving for classical logic with partial functions by reduction to Kleene logic ⋮ Lemma Learning in the Model Evolution Calculus ⋮ Automated Deduction – CADE-20 ⋮ Conflict resolution: a first-order resolution calculus with decision literals and conflict-driven clause learning ⋮ Superposition for Bounded Domains ⋮ MACE4 and SEM: A Comparison of Finite Model Generators ⋮ Inst-Gen – A Modular Approach to Instantiation-Based Automated Reasoning ⋮ Rule-based static analysis of network protocol implementations ⋮ Deciding effectively propositional logic using DPLL and substitution sets ⋮ Decidable \({\exists}^*{\forall}^*\) first-order fragments of linear rational arithmetic with uninterpreted predicates ⋮ Exploiting Symmetry in SMT Problems ⋮ Computing finite models by reduction to function-free clause logic ⋮ Blocking and other enhancements for bottom-up model generation methods ⋮ Model Finding for Recursive Functions in SMT ⋮ SCL(EQ): SCL for first-order logic with equality

This page was built for software: Darwin