The following pages link to (Q3408132):
Displaying 6 items.
- M\textbf{ath}SAT: Tight integration of SAT and mathematical decision procedures (Q862395) (← links)
- Delayed theory combination vs. Nelson-Oppen for satisfiability modulo theories: a comparative analysis (Q1037399) (← links)
- Efficient theory combination via Boolean search (Q2432765) (← links)
- Generalizing DPLL and satisfiability for equalities (Q2643080) (← links)
- Rewrite-based satisfiability procedures for recursive data structures (Q2864524) (← links)
- EufDpll - A Tool to Check Satisfiability of Equality Logic Formulas (Q4982077) (← links)