Skip to main content
Fachgebiete
Automobil + Motoren Bauwesen + Immobilien Business IT + Informatik Elektrotechnik + Elektronik Energie + Nachhaltigkeit Finance + Banking Management + Führung Marketing + Vertrieb Maschinenbau + Werkstoffe Versicherung + Risiko
DE
EN
Themenseiten
Organisationspsychologie Projektmanagement Marketing Smart Manufacturing
Bücher
Zeitschriften
Weitere Formate
Podcasts Webinare Technik Webinare Wirtschaft Kongresse Veranstaltungskalender Awards
Jetzt Einzelzugang starten
Zugang für Unternehmen
Referenzkunden
MTZ-Fachkongress

Antriebe und Energiesysteme von morgen


Austausch von Automobil- und Energiewirtschaft

Am 14./15. Mai geht es in Chemnitz um die Mobilitätswende durch Elektro- und Wasserstofffahrzeuge.
Erweiterte Suche
Anmelden
nach oben
Erschienen in:
Abstraction by Symbolic Indexing Transformations Kapitel lesen Erstes Kapitel lesen

2002 | OriginalPaper | Buchkapitel

On Solving Presburger and Linear Arithmetic with SAT

verfasst von : Ofer Strichman

Erschienen in: Formal Methods in Computer-Aided Design

Verlag: Springer Berlin Heidelberg

Enthalten in: Professional Book Archive

Zugang erhalten

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

We show a reduction to propositional logic from quantifier-free Presburger arithmetic, and disjunctive linear arithmetic, based on Fourier-Motzkin elimination. While the complexity of this procedure is not better than competing techniques, it has practical advantages in solving verification problems. It also promotes the option of deciding a combination of theories by reducing them to this logic.

Vorheriges Kapitel Modeling and Verification of Out-of-Order Microprocessors in UCLID
Nächstes Kapitel Deciding Presburger Arithmetic by Model Checking and Comparisons with Other Methods
Metadaten
Titel
On Solving Presburger and Linear Arithmetic with SAT
verfasst von
Ofer Strichman
Copyright-Jahr
2002
Verlag
Springer Berlin Heidelberg
Buch
Formal Methods in Computer-Aided Design

Print ISBN: 978-3-540-00116-4

Electronic ISBN: 978-3-540-36126-8

Copyright-Jahr: 2002

DOI
https://doi.org/10.1007/3-540-36126-X_10

Premium Partner

    Marktübersichten

    Die im Laufe eines Jahres in der „adhäsion“ veröffentlichten Marktübersichten helfen Anwendern verschiedenster Branchen, sich einen gezielten Überblick über Lieferantenangebote zu verschaffen. 

    Zur Marktübersicht
    Bildnachweise