7 citations · 13 across the 16 of their papers we have counts for
1 paper · 2 filters
Stefan Ratschan
Quantified constraints over the reals appear in numerous contexts. Usually existential quantification occurs when some parameter can be chosen by the user of a system, and univeral…