Deciding linear trigonometric problems

Abstract: "In this paper, we present a decision procedure for certain linear-trigonometric problems for the reals and integers formalized in a suitable first-order language. The inputs are restricted to formulas, where all but one of the quantified variables occur linearly and at most one occur...

Ausführliche Beschreibung

Bibliographische Detailangaben

1. Verfasser:	Anai, Hirokazu (VerfasserIn)
Weitere Verfasser:	Weispfenning, Volker (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Passau 2000
Schriftenreihe:	Universität <Passau> / Fakultät für Mathematik und Informatik: MIP 2000,01
Schlagworte:	Integer programming > Programming languages (Electronic computers) > Trigonometrical functions
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!