iSat

swMATH14762MaRDI QIDQ26659FDOQ26659

Author name not available (Why is that?)

Cited In (3)

• An accelerated computation of combustion with finite-rate chemistry using LES and an open source library for in-situ-adaptive tabulation
• Improving SAT modulo ODE for hybrid systems analysis by combining different enclosure methods
• \textsf{SATGraf}: visualizing the evolution of SAT formula structure in solvers

This page was built for software: iSat