swMATH14762MaRDI QIDQ26659FDOQ26659
Author name not available (Why is that?)
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
