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


  • 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]