Applications of Quantified Constraint Solving over the Reals -- Bibliography

2012/05/23 by Stefan Ratschan, Ratschan, Stefan
Computer Science · Mathematics · #Advanced Optimization Algorithms Research #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Logic, programming, and type systems #Polynomial and algebraic computation

paper · pdf · doi:10.48550/arxiv.1205.5571

openalex publication_date 2012/05/23 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28

Abstract

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 quantification when the exact value of a parameter is either unknown, or when it occurs in infinitely many, similar versions. The following is a list of application areas and publications that contain applications for solving quantified constraints over the reals. The list is certainly not complete, but grows as the author encounters new items. Contributions are very welcome!

Citations

• Applying Linear Quantifier Elimination

Related

• Lecture notes on complexity of quantifier elimination over the reals
• Solving Composed First-Order Constraints from Discrete-Time Robust Control
• Existentially Restricted Quantified Constraint Satisfaction
• Efficient Solving of Quantified Inequality Constraints over the Real Numbers
• Approximating the Existential Theory of the Reals