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
- Decidable \({\exists}^*{\forall}^*\) first-order fragments of linear rational arithmetic with uninterpreted predicates
- Title not available (Why is that?)
- Semantically-guided goal-sensitive reasoning: inference system and completeness
- Semantically-guided goal-sensitive reasoning: model representation
- Superposition for bounded domains
- Exploring theories with a model-finding assistant
- Lemma Learning in the Model Evolution Calculus
- Computing finite models by reduction to function-free clause logic
- The TPTP typed first-order form with arithmetic
- On First-Order Model-Based Reasoning
- Inst-Gen -- a modular approach to instantiation-based automated reasoning
- Theorem proving for classical logic with partial functions by reduction to Kleene logic
- Finite reasons for safety. Parameterized verification by finite model finding
- MACE4 and SEM: a comparison of finite model generators
- Exploiting symmetry in SMT problems
- Model finding for recursive functions in SMT
- Constraint solving for finite model finding in SMT solvers
This page was built for software: E-Darvin
