The following pages link to Zapato (Q37164):
Displaying 10 items.
- Weakly-relational shapes for numeric abstractions: Improved algorithms and proofs of correctness (Q845242) (← links)
- 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)
- Strategies for combining decision procedures (Q2368951) (← links)
- Efficient theory combination via Boolean search (Q2432765) (← links)
- Distributing the workload in a lazy theorem-prover (Q2870323) (← links)
- SAT-Based Model Checking (Q3176368) (← links)
- Interpolant Generation for UTVPI (Q5191101) (← links)
- Theorem Proving in Higher Order Logics (Q5477645) (← links)
- Programming Languages and Systems (Q5493379) (← links)