iSat

MaRDI QIDQ26659swMATHFDO

Official website http://link.springer.com/chapter/10.1007%2F978-3-642-28717-6_26

Cited in

(6)

• An accelerated computation of combustion with finite-rate chemistry using LES and an open source library for in-situ-adaptive tabulation
• DPvis
• SATGraf
• ISAT-CK7
• 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