http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png

Evaluation of Equational Constraints for CAD in SMT Solving

Haehn, Rebecca^RWTH* ; Kremer, Gereon^RWTH* ; Ábrahám, Erika^RWTH*

In
Satisfiability checking and symbolic computation : SC-Square 2018 : proceedings of the 3rd Workshop on Satisfiability Checking and Symbolic Computation, co-located with Federated Logic Conference (FLOC 2018) : Oxford, UK, July 11, 2018 / edited by Anna M. Bigatti (Dipartimento di Matematica, Università degli Studi di Genova, Genova, Italy), Martin Brain (Department of Computer Science, University of Oxford, Oxford, UK ), Seiten/Artikel-Nr: [19]-32

2018

Konferenz/Event:3. Workshop on Satisfiability Checking and Symbolic Computation co-located with Federated Logic Conference , Oxford , UK , SC-Square 2018 , 2018-07-11 - 2018-07-11

Konferenz/Event:Federated Logic Conference , Oxford , UK , FLOC 2018 , 2018-07-11 - 2018-07-11

ImpressumAachen, Germany : RWTH-Aachen

Umfang[19]-32

ReiheCEUR workshop proceedings ; 2189

Online
URL: http://ceur-ws.org/Vol-2189/paper10.pdf

Einrichtungen

1. Lehrstuhl für Informatik 2 (Softwaremodellierung und Verifikation) (121310)
2. Fachgruppe Informatik (120000)
3. Lehr- und Forschungsgebiet Theorie Hybrider Systeme (123420)
4. Graduiertenkolleg UnRAVeL (080060)

External link:

Fulltext

Dokumenttyp
Contribution to a book/Contribution to a conference proceedings

Format
online

Sprache
English

Anmerkung
Peer reviewed article

Externe Identnummern
SCOPUS: SCOPUS:2-s2.0-85053037473

Interne Identnummern
RWTH-CONV-236482
Datensatz-ID: 753088

Beteiligte Länder
Germany