Solving numerical constraints

Bockmayr, Alexander; Weispfenning, V.

Local TagsRelease HistoryDetailsSummary

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 Released

show all hide all

Basic

show hide

Item Permalink: https://hdl.handle.net/11858/00-001M-0000-000F-3243-E Version Permalink: https://hdl.handle.net/11858/00-001M-0000-000F-3244-C

Genre: Book Chapter

Files

show Files

Locators

show

Creators

show

hide

Creators:
Bockmayr, Alexander¹, Author
Weispfenning, V., Author

Affiliations:
1Programming Logics, MPI for Informatics, Max Planck Society, ou_40045

Content

show

hide

Free keywords: -

Abstract: 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

show

hide

Language(s): eng - English

Dates: Modified: 2010-03-12Date issued: 2001

Publication Status: Issued

Pages: -

Publishing info: Amsterdam, the Netherlands : Elsevier

Table of Contents: -

Rev. Type: -

Identifiers: eDoc: 519721
Other: Local-ID: C1256104005ECAFC-F23D9B9349C9734EC1256753004DD22E-BockmayrWeispfenning01

Degree: -

Event

show

Legal Case

show

Project information

show

Source 1

show

hide

Title: Handbook of Automated Reasoning

Source Genre: Book

Creator(s):
Robinson, Alan, Editor
Voronkov, Andrei¹, Editor

Affiliations:
1 Programming Logics, MPI for Informatics, Max Planck Society, ou_40045

Publ. Info: Amsterdam, the Netherlands : Elsevier

Pages: - Volume / Issue: 1 Sequence Number: - Start / End Page: 751 - 842 Identifier: -