TY  - RPRT
TI  - A CDCL-style calculus for solving non-linear constraints
AU  - Franz Brauße
AU  - Konstantin Korovin
AU  - Margarita Korovina
AU  - Norbert Th. Müller
PY  - 2019
UR  - https://arxiv.org/abs/1905.09227
ID  - 1905.09227
ER  -