Kruff, Niclas; Lüders, Christoph; Radulescu, Ovidiu; Sturm, Thomas; Walcher, Sebastian Algorithmic reduction of biological networks with multiple time scales. (English) Zbl 1484.13058 Math. Comput. Sci. 15, No. 3, 499-534 (2021). Reviewer: Hamid Rahkooy (Saarbrücken) MSC: 13P10 68W30 34E15 37D10 92C45 PDFBibTeX XMLCite \textit{N. Kruff} et al., Math. Comput. Sci. 15, No. 3, 499--534 (2021; Zbl 1484.13058) Full Text: DOI arXiv
Heule, Marijn J. H. Optimal symmetry breaking for graph problems. (English) Zbl 1474.68225 Math. Comput. Sci. 13, No. 4, 533-548 (2019). MSC: 68R10 68R07 68T20 PDFBibTeX XMLCite \textit{M. J. H. Heule}, Math. Comput. Sci. 13, No. 4, 533--548 (2019; Zbl 1474.68225) Full Text: DOI
Sturm, Thomas A survey of some methods for real quantifier elimination, decision, and satisfiability and their applications. (English) Zbl 1425.68380 Math. Comput. Sci. 11, No. 3-4, 483-502 (2017). MSC: 68T15 03B35 03C10 14P05 68W30 92C37 92E20 PDFBibTeX XMLCite \textit{T. Sturm}, Math. Comput. Sci. 11, No. 3--4, 483--502 (2017; Zbl 1425.68380) Full Text: DOI
Suda, Martin Variable and clause elimination for LTL satisfiability checking. (English) Zbl 1341.68197 Math. Comput. Sci. 9, No. 3, 327-344 (2015). MSC: 68T15 03B35 03B44 PDFBibTeX XMLCite \textit{M. Suda}, Math. Comput. Sci. 9, No. 3, 327--344 (2015; Zbl 1341.68197) Full Text: DOI arXiv
Ghosh, Subhas Kumar; Misra, Janardan A randomized algorithm for 3-SAT. (English) Zbl 1205.68177 Math. Comput. Sci. 3, No. 4, 421-431 (2010). MSC: 68Q25 68W20 PDFBibTeX XMLCite \textit{S. K. Ghosh} and \textit{J. Misra}, Math. Comput. Sci. 3, No. 4, 421--431 (2010; Zbl 1205.68177) Full Text: DOI arXiv