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

Viehmann, Tarik; Kremer, Gereon (Corresponding author); Ábrahám, Erika

Aachen, Germany : RWTH Aachen (2017)
Contribution to a book, Contribution to a conference proceedings

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


  • Department of Computer Science [120000]
  • Theory of Hybrid Systems Research Group [123420]