This paper contains the first algorithm that can solve disjunctions of constraints of the form ∃y∈B [f = 0 ∧ g1 ≥ 0∧ . . . ∧gk ≥ 0] in free variables x, terminating for all cases when this results in a numerically well-posed problem. Here the only assumption on the terms f, g1, . . . , gn is the existence of a pruning function, as given by the usual constraint propagation algorithms or by interval evaluation. The paper discusses the application of an implementation of the resulting algorithm on problems from control engineering, parameter estimation, and computational geometry. © Springer-Verlag 2003.
CITATION STYLE
Ratschan, S. (2003). Solving existentially quantified constraints with one equality and arbitrarily many inequalities. Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2833, 615–633. https://doi.org/10.1007/978-3-540-45193-8_42
Mendeley helps you to discover research relevant for your work.