Evaluation of Equational Constraints for CAD in SMT Solving
Haehn, Rebecca; Kremer, Gereon; Ábrahám, Erika
Aachen : RWTH Aachen (2018)
Buchbeitrag, Beitrag zu einem Tagungsband
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 )
Seite(n)/Artikel-Nr.: [19]-32
Einrichtungen
- Graduiertenkolleg UnRAVeL [080060]
- Fachgruppe Informatik [120000]
- Lehrstuhl für Informatik 2 (Softwaremodellierung und Verifikation) [121310]
- Lehr- und Forschungsgebiet Theorie Hybrider Systeme [123420]
Identifikationsnummern
- RWTH PUBLICATIONS: RWTH-CONV-236482