Pages that link to "Item:Q5277822"
From MaRDI portal
The following pages link to New results on rewrite-based satisfiability procedures (Q5277822):
Displayed 8 items.
- Theory decision by decomposition (Q1041591) (← links)
- Combination of convex theories: modularity, deduction completeness, and explanation (Q1041593) (← links)
- Engineering DPLL(T) + Saturation (Q3541724) (← links)
- Satisfiability Procedures for Combination of Theories Sharing Integer Offsets (Q3617773) (← links)
- Superposition Modulo Linear Arithmetic SUP(LA) (Q3655193) (← links)
- Data Structures with Arithmetic Constraints: A Non-disjoint Combination (Q3655209) (← links)
- On Deciding Satisfiability by DPLL( $\Gamma+{\mathcal T}$ ) and Unsound Theorem Proving (Q5191095) (← links)
- Combinable Extensions of Abelian Groups (Q5191096) (← links)