Pages that link to "Item:Q3899468"
From MaRDI portal
The following pages link to Simplification by Cooperating Decision Procedures (Q3899468):
Displayed 30 items.
- Combining Theories with Shared Set Operations (Q3655212) (← links)
- Satisfiability Checking: Theory and Applications (Q4571125) (← links)
- On quasitautologies (Q4610330) (← links)
- On Shostak's decision procedure for combinations of theories (Q4647541) (← links)
- Variant-Based Satisfiability in Initial Algebras (Q4686604) (← links)
- On Combinations of Local Theory Extensions (Q4916087) (← links)
- Quantifier Elimination and Provers Integration (Q4916219) (← links)
- Combining Non-Stably Infinite Theories (Q4916220) (← links)
- Modular higher-order E-unification (Q5055760) (← links)
- Combination of constraint solving techniques: An algebraic point of view (Q5055842) (← links)
- (Q5079756) (← links)
- (Q5094130) (← links)
- (Q5094139) (← links)
- (Q5109509) (← links)
- Modular Constraint Solver Cooperation via Abstract Interpretation (Q5140021) (← links)
- Combining Decision Procedures by (Model-)Equality Propagation (Q5179357) (← links)
- On Deciding Satisfiability by DPLL( $\Gamma+{\mathcal T}$ ) and Unsound Theorem Proving (Q5191095) (← links)
- Combinable Extensions of Abelian Groups (Q5191096) (← links)
- A New approach for combining decision procedures for the word problem, and its connection to the Nelson-Oppen combination method (Q5234683) (← links)
- Deciding Theoremhood in Fibred Logics Without Shared Connectives (Q5350345) (← links)
- Quantifier-free interpolation in combinations of equality interpolating theories (Q5410332) (← links)
- Efficient Interpolant Generation in Satisfiability Modulo Theories (Q5458340) (← links)
- On Hierarchical Reasoning in Combinations of Theories (Q5747749) (← links)
- Reasoning about vectors: satisfiability modulo a theory of sequences (Q6053845) (← links)
- Combining stable infiniteness and (strong) politeness (Q6053847) (← links)
- Analysis and Transformation of Constrained Horn Clauses for Program Verification (Q6063893) (← links)
- Improving complex SMT strategies with learning (Q6069738) (← links)
- Interpolation Results for Arrays with Length and MaxDiff (Q6082222) (← links)
- Variants and satisfiability in the infinitary unification wonderland (Q6113018) (← links)
- Towards a dereversibilizer: fewer asserts, statically (Q6148113) (← links)