Zapato
From MaRDI portal
Software:37164
No author found.
Related Items (10)
Strategies for combining decision procedures ⋮ SAT-Based Model Checking ⋮ Weakly-relational shapes for numeric abstractions: Improved algorithms and proofs of correctness ⋮ M\textbf{ath}SAT: Tight integration of SAT and mathematical decision procedures ⋮ Efficient theory combination via Boolean search ⋮ Programming Languages and Systems ⋮ Interpolant Generation for UTVPI ⋮ Theorem Proving in Higher Order Logics ⋮ Delayed theory combination vs. Nelson-Oppen for satisfiability modulo theories: a comparative analysis ⋮ Distributing the Workload in a Lazy Theorem-Prover
This page was built for software: Zapato
