Zapato
From MaRDI portal
swMATH25425MaRDI QIDQ37164FDOQ37164
Author name not available (Why is that?)
Official website: https://link.springer.com/chapter/10.1007/978-3-540-27813-9_36
Cited In (14)
- Efficient theory combination via Boolean search
- Interpolant Generation for UTVPI
- Theorem Proving in Higher Order Logics
- Weakly-relational shapes for numeric abstractions: Improved algorithms and proofs of correctness
- Strategies for combining decision procedures
- QOCA
- bv2epr
- SCOOT
- ICS
- SAT-Based Model Checking
- Delayed theory combination vs. Nelson-Oppen for satisfiability modulo theories: a comparative analysis
- Programming Languages and Systems
- M\textbf{ath}SAT: Tight integration of SAT and mathematical decision procedures
- Distributing the workload in a lazy theorem-prover
This page was built for software: Zapato
