Evaluation of Equational Constraints for CAD in SMT Solving

Aachen / RWTH Aachen (2018) [Contribution to a book, Contribution to a conference proceedings]

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): [19]-32

Authors

Authors

Haehn, Rebecca
Kremer, Gereon
Ábrahám, Erika

Identifier

  • REPORT NUMBER: RWTH-CONV-236482