Abstract
A continuous constraint satisfaction problem (CCSP) is a constraint satisfaction problem (CSP) with a domain U⊂R. We engage in a systematic study to classify CCSPs that are complete of the Existential Theory of the Reals, i.e., ER-complete. To define this class, we first consider the problem ETR, which also stands
... read more