The following pages link to Darwin (Q16359):
Displaying 26 items.
- Semantically-guided goal-sensitive reasoning: model representation (Q287333) (← links)
- Model evolution with equality -- revised and implemented (Q429586) (← links)
- Conflict resolution: a first-order resolution calculus with decision literals and conflict-driven clause learning (Q682374) (← links)
- Deciding effectively propositional logic using DPLL and substitution sets (Q972432) (← links)
- Computing finite models by reduction to function-free clause logic (Q1006733) (← links)
- Semantically-guided goal-sensitive reasoning: inference system and completeness (Q1707598) (← links)
- Decidable \({\exists}^*{\forall}^*\) first-order fragments of linear rational arithmetic with uninterpreted predicates (Q2031420) (← links)
- SCL(EQ): SCL for first-order logic with equality (Q2104511) (← links)
- Blending under deconstruction. The roles of logic, ontology, and cognition in computational concept invention (Q2188772) (← links)
- Blocking and other enhancements for bottom-up model generation methods (Q2303239) (← links)
- The model evolution calculus as a first-order DPLL method (Q2389629) (← links)
- Rule-based static analysis of network protocol implementations (Q2482438) (← links)
- Model Finding for Recursive Functions in SMT (Q2817915) (← links)
- NRCL - A Model Building Approach to the Bernays-Schönfinkel Fragment (Q2964454) (← links)
- Theorem proving for classical logic with partial functions by reduction to Kleene logic (Q2987064) (← links)
- (Q3011302) (← links)
- Automated Reasoning Building Blocks (Q3449631) (← links)
- Exploring Theories with a Model-Finding Assistant (Q3454114) (← links)
- Constraint solving for finite model finding in SMT solvers (Q4593094) (← links)
- Superposition for Bounded Domains (Q4913861) (← links)
- MACE4 and SEM: A Comparison of Finite Model Generators (Q4913862) (← links)
- Inst-Gen – A Modular Approach to Instantiation-Based Automated Reasoning (Q4916080) (← links)
- Exploiting Symmetry in SMT Problems (Q5200027) (← links)
- Lemma Learning in the Model Evolution Calculus (Q5387921) (← links)
- Automated Deduction – CADE-20 (Q5394628) (← links)
- Model Representation over Finite and Infinite Signatures (Q5431608) (← links)
