On Variable Orderings in MCSAT for Non-linear Real Arithmetic : (extended abstract)

Nalbach, Jasper Kurt Ferdinand (Corresponding author); Kremer, Gereon (Corresponding author); Ábrahám, Erika (Corresponding author)

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

In: SC-square 2019 : Satisfiability Checking and Symbolic Computation 2019 : Proceedings of the 4th SC-Square Workshop co-located with the SIAM Conference on Applied Algebraic Geometry (SIAM AG 2019) : Bern, Switzerland, 10th July 2019 / Edited by John Abbott, Alberto Griggio
Page(s)/Article-Nr.: 7 Seiten