TY  - RPRT
TI  - The ksmt calculus is a $δ$-complete decision procedure for non-linear constraints
AU  - Franz Brauße
AU  - Konstantin Korovin
AU  - Margarita V. Korovina
AU  - Norbert Th. Müller
PY  - 2021
UR  - https://arxiv.org/abs/2104.13269
ID  - 2104.13269
ER  -