Cited in
(7)- \textsf{SC}\(^2\): satisfiability checking meets symbolic computation. (Project paper)
- Invariant checking of NRA transition systems via incremental reduction to LRA with EUF
- \texttt{SMT-RAT}: an open source \texttt{C++} toolbox for strategic and parallel SMT solving
- Building bridges between symbolic computation and satisfiability checking
- CArL
- SMT-RAT
- HyComp
This page was built for software: iSAT
