3 papers
cs.LO2025
Applications of Quantified Constraint Solving over the Reals -- Bibliography
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…
cs.LO2025
Deciding Predicate Logical Theories of Real-Valued Functions
Stefan Ratschan
The notion of a real-valued function is central to mathematics, computer science, and many other scientific fields. Despite this importance, there are hardly any positive results o…
cs.LO2025
Satisfiability of Non-Linear Transcendental Arithmetic as a Certificate Search Problem
Enrico Lipparini, Stefan Ratschan
For typical first-order logical theories, satisfying assignments have a straightforward finite representation that can directly serve as a certificate that a given assignment satis…