The ksmt calculus is a \(\delta \)-complete decision procedure for non-linear constraints

From MaRDI portal
Publication:6076350

DOI10.1016/j.tcs.2023.114125MaRDI QIDQ6076350

Margarita Korovina, Konstantin Korovin, Franz Brauße, Norbert Th. Müller

Publication date: 21 September 2023

Published in: Theoretical Computer Science (Search for Journal in Brave)






Cites Work