Deutsch
 
Hilfe Datenschutzhinweis Impressum
  DetailsucheBrowse

Datensatz

 
 
DownloadE-Mail
  Solving numerical constraints

Bockmayr, A., & Weispfenning, V. (2001). Solving numerical constraints. In A. Robinson, & A. Voronkov (Eds.), Handbook of Automated Reasoning (pp. 751-842). Amsterdam, the Netherlands: Elsevier.

Item is

Externe Referenzen

einblenden:

Urheber

einblenden:
ausblenden:
 Urheber:
Bockmayr, Alexander1, Autor           
Weispfenning, V., Autor
Affiliations:
1Programming Logics, MPI for Informatics, Max Planck Society, ou_40045              

Inhalt

einblenden:
ausblenden:
Schlagwörter: -
 Zusammenfassung: In \cite{BockmayrWeispfenning01}, we give an overview of solving numerical constraints in the context of automated reasoning. Emphasis is on logical aspects of numerical constraints. We view them as atomic formulae in first-order predicate logic that are interpreted over some numerical domain like the real, rational, or integer numbers. We present various inference systems for reasoning with numerical constraints, describe the algebraic and geometric structure of their solution set, and present fundamental algorithms for deciding satisfiability, computing one or all solutions, and deducing new constraints.

Details

einblenden:
ausblenden:
Sprache(n): eng - English
 Datum: 2010-03-122001
 Publikationsstatus: Erschienen
 Seiten: -
 Ort, Verlag, Ausgabe: Amsterdam, the Netherlands : Elsevier
 Inhaltsverzeichnis: -
 Art der Begutachtung: -
 Identifikatoren: eDoc: 519721
Anderer: Local-ID: C1256104005ECAFC-F23D9B9349C9734EC1256753004DD22E-BockmayrWeispfenning01
 Art des Abschluß: -

Veranstaltung

einblenden:

Entscheidung

einblenden:

Projektinformation

einblenden:

Quelle 1

einblenden:
ausblenden:
Titel: Handbook of Automated Reasoning
Genre der Quelle: Buch
 Urheber:
Robinson, Alan, Herausgeber
Voronkov, Andrei1, Herausgeber           
Affiliations:
1 Programming Logics, MPI for Informatics, Max Planck Society, ou_40045            
Ort, Verlag, Ausgabe: Amsterdam, the Netherlands : Elsevier
Seiten: - Band / Heft: 1 Artikelnummer: - Start- / Endseite: 751 - 842 Identifikator: -