The following pages link to (Q4804898):
Displayed 13 items.
- The SAT-based approach to separation logic (Q862390) (← links)
- M\textbf{ath}SAT: Tight integration of SAT and mathematical decision procedures (Q862395) (← links)
- A framework for satisfiability modulo theories (Q1037239) (← links)
- Zero, successor and equality in BDDs (Q1772774) (← links)
- Decidable \({\exists}^*{\forall}^*\) first-order fragments of linear rational arithmetic with uninterpreted predicates (Q2031420) (← links)
- SMELS: satisfiability modulo equality with lazy superposition (Q2351265) (← links)
- The model evolution calculus as a first-order DPLL method (Q2389629) (← links)
- Efficient theory combination via Boolean search (Q2432765) (← links)
- Satisfiability Modulo Theories (Q3176369) (← links)
- Combining Instance Generation and Resolution (Q3655208) (← links)
- A Term Rewriting Technique for Decision Graphs (Q5170280) (← links)
- Exploiting Symmetry in SMT Problems (Q5200027) (← links)
- Local Search For Satisfiability Modulo Integer Arithmetic Theories (Q6082229) (← links)