iSAT

swMATH28679MaRDI QIDQ40393FDOQ40393

Author name not available (Why is that?)

Cited In (4)

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

This page was built for software: iSAT