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

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

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): 7 Seiten

Authors

Selected Authors

Nalbach, Jasper
Kremer, Gereon Lukas
Ábrahám, Erika

Identifier

  • REPORT NUMBER: RWTH-CONV-240068