E-Darvin
From MaRDI portal
Software:18923
swMATH6852MaRDI QIDQ18923FDOQ18923
Author name not available (Why is that?)
Cited In (20)
- Blocking and other enhancements for bottom-up model generation methods
- Set of support, demodulation, paramodulation: a historical perspective
- SCL(EQ): SCL for first-order logic with equality
- Model Finding for Recursive Functions in SMT
- Decidable \({\exists}^*{\forall}^*\) first-order fragments of linear rational arithmetic with uninterpreted predicates
- Inst-Gen – A Modular Approach to Instantiation-Based Automated Reasoning
- Title not available (Why is that?)
- Semantically-guided goal-sensitive reasoning: inference system and completeness
- Semantically-guided goal-sensitive reasoning: model representation
- Lemma Learning in the Model Evolution Calculus
- MACE4 and SEM: A Comparison of Finite Model Generators
- Computing finite models by reduction to function-free clause logic
- Exploiting Symmetry in SMT Problems
- On First-Order Model-Based Reasoning
- Theorem proving for classical logic with partial functions by reduction to Kleene logic
- Exploring Theories with a Model-Finding Assistant
- The TPTP Typed First-Order Form with Arithmetic
- Finite reasons for safety
- Superposition for Bounded Domains
- Constraint solving for finite model finding in SMT solvers
This page was built for software: E-Darvin
