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