ICS: Integrated canonizer and solver
From MaRDI portal
Cited in
(20)- A framework for satisfiability modulo theories
- Delayed theory combination vs. Nelson-Oppen for satisfiability modulo theories: a comparative analysis
- Strategies for combining decision procedures
- A survey on temporal logics for specifying and verifying real-time systems
- Efficient theory combination via Boolean search
- Preface to the special issue ``SI: satisfiability modulo theories
- A randomized satisfiability procedure for arithmetic and uninterpreted function symbols
- Building small equality graphs for deciding equality logic with uninterpreted functions
- Embedded software verification using symbolic execution and uninterpreted functions
- Generalizing DPLL and satisfiability for equalities
- Bounded model checking for timed automata
- \textsf{CC(X)}: semantic combination of congruence closure with solvable theories
- ICS
- Variant-Based Satisfiability in Initial Algebras
- Equality detection for linear arithmetic constraints
- Translation and run-time validation of loop transformations
- Design and results of the first satisfiability modulo theories competition (SMT-COMP 2005)
- An integrated approach to high integrity software verification
- M\textbf{ath}SAT: Tight integration of SAT and mathematical decision procedures
- Verifying a signature architecture: a comparative case study
This page was built for publication: ICS: Integrated canonizer and solver
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4553256)
