Zapato
From MaRDI portal
Cited in
(15)- Efficient theory combination via Boolean search
- Weakly-relational shapes for numeric abstractions: Improved algorithms and proofs of correctness
- Interpolant Generation for UTVPI
- Theorem Proving in Higher Order Logics
- Strategies for combining decision procedures
- QOCA
- ToolBus
- bv2epr
- SCOOT
- ICS
- SAT-Based Model Checking
- Delayed theory combination vs. Nelson-Oppen for satisfiability modulo theories: a comparative analysis
- M\textbf{ath}SAT: Tight integration of SAT and mathematical decision procedures
- Programming Languages and Systems
- Distributing the workload in a lazy theorem-prover
This page was built for software: Zapato
