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