Efficient solving of quantified inequality constraints over the real numbers

Efficient solving of quantified inequality constraints over the real numbers

Let a quantified inequality constraint over the reals be a formula in the first-order predicate language over the structure of the real numbers, where the allowed predicate symbols are ... and

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:ACM transactions on computational logic 2006-10, Vol.7 (4), p.723
1. Verfasser: Ratschan, Stefan
Format: Artikel
Sprache:eng
Schlagworte:
Algorithms
Computer programming
Studies
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:Let a quantified inequality constraint over the reals be a formula in the first-order predicate language over the structure of the real numbers, where the allowed predicate symbols are ... and
ISSN:1529-3785
1557-945X
DOI:10.1145/1166109.1166113