iSAT

swMATH28679MaRDI QIDQ40393FDOQ40393

Author name not available (Why is that?)

Cited In (4)

• $$\mathsf {SC}^\mathsf{2} $$ : Satisfiability Checking Meets Symbolic Computation
• Building bridges between symbolic computation and satisfiability checking
• SMT-RAT: An Open Source C++ Toolbox for Strategic and Parallel SMT Solving
• Invariant Checking of NRA Transition Systems via Incremental Reduction to LRA with EUF

This page was built for software: iSAT