2 papers
cs.LO2001
Convergent Approximate Solving of First-Order Constraints by Approximate Quantifiers
Stefan Ratschan
Exactly solving first-order constraints (i.e., first-order formulas over a certain predefined structure) can be a very hard, or even undecidable problem. In continuous structures l…
cs.LO2001
Solving Composed First-Order Constraints from Discrete-Time Robust Control
Stefan Ratschan, Luc Jaulin
This paper deals with a problem from discrete-time robust control which requires the solution of constraints over the reals that contain both universal and existential quantifiers.…