Comparing Different Projection Operators in the Cylindrical Algebraic Decomposition for SMT Solving

Aachen, Germany / RWTH Aachen (2017) [Buchbeitrag, Beitrag zu einem Tagungsband]

[2nd International Workshop on Satisfiability Checking and Symbolic Computation, SC2, 2017-07-29 - 2017-07-29, Kaiserslautern, Germany / Edited by Matthew England, Vijay Ganesh]
Seite(n): 15 Seiten

Autorinnen und Autoren

Autorinnen und Autoren

Viehmann, Tarik
Kremer, Gereon
Ábrahám, Erika

Identifikationsnummern

  • REPORT NUMBER: RWTH-2018-01197