"A CDCL-Style Calculus for Solving Non-linear Constraints."

Franz Brauße et al. (2019)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics