Brauße, Franz; Korovin, Konstantin; Korovina, Margarita V.; Müller, Norbert Th. The ksmt calculus is a \(\delta \)-complete decision procedure for non-linear constraints. (English) Zbl 07741110 Theor. Comput. Sci. 975, Article ID 114125, 16 p. (2023). MSC: 68Qxx PDFBibTeX XMLCite \textit{F. Brauße} et al., Theor. Comput. Sci. 975, Article ID 114125, 16 p. (2023; Zbl 07741110) Full Text: DOI
Brauße, Franz; Korovin, Konstantin; Korovina, Margarita V.; Müller, Norbert Th. The ksmt calculus is a \(\delta \)-complete decision procedure for non-linear constraints. (English) Zbl 07437075 Platzer, André (ed.) et al., Automated deduction – CADE 28. 28th international conference on automated deduction, virtual event, July 12–15, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12699, 113-130 (2021). MSC: 03B35 68V15 PDFBibTeX XMLCite \textit{F. Brauße} et al., Lect. Notes Comput. Sci. 12699, 113--130 (2021; Zbl 07437075) Full Text: DOI arXiv