Login
Registrieren
Passwort zurücksetzen
Veröffentlichen & Verteilen
Verlagslösungen
Vertriebslösungen
Themen
Veröffentlichungen
Zeitschriften
Bücher
Konferenzberichte
Verlage
Blog
Kontakt
Suche
Warenkorb
EUR
USD
GBP
Deutsch
English
Deutsch
Polski
Español
Français
Italiano
Home
Zeitschriften
Acta Universitatis Sapientiae, Informatica
Band 10 (2018): Heft 1 (August 2018)
Uneingeschränkter Zugang
Modular strategic SMT solving with SMT-RAT
Gereon Kremer
Gereon Kremer
und
Erika Ábrahám
Erika Ábrahám
| 29. Aug. 2018
Acta Universitatis Sapientiae, Informatica
Band 10 (2018): Heft 1 (August 2018)
Über diesen Artikel
Vorheriger Artikel
Nächster Artikel
Zusammenfassung
Referenzen
Autoren
Artikel in dieser Ausgabe
Vorschau
PDF
Zitieren
Teilen
Online veröffentlicht:
29. Aug. 2018
Seitenbereich:
5 - 25
Eingereicht:
15. Mai 2018
DOI:
https://doi.org/10.2478/ausi-2018-0001
Schlüsselwörter
satisfiability modulo theories
,
polynomial arithmetic
,
strategic combination
© 2018 Gereon Kremer et al., published by Sciendo
This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 License.
Gereon Kremer
RWTH Aachen University,
Aachen, Germany
Erika Ábrahám
RWTH Aachen University,
Aachen, Germany