Zapato
From MaRDI portal
Software:37164
swMATH25425MaRDI QIDQ37164FDOQ37164
Author name not available (Why is that?)
Cited In (10)
- 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
- 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
