Evaluation of Equational Constraints for CAD in SMT Solving
Haehn, Rebecca; Kremer, Gereon; Ábrahám, Erika
Aachen : RWTH Aachen (2018)
Contribution to a book, Contribution to a conference proceedings
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 )
Page(s)/Article-Nr.: [19]-32
Institutions
- UnRAVeL Research Training Group [080060]
- Department of Computer Science [120000]
- Chair of Computer Science 2 (Software Modeling and Verification) [121310]
- Theory of Hybrid Systems Research Group [123420]
Identifier
- RWTH PUBLICATIONS: RWTH-CONV-236482