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

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

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
Seite(n): 7 Seiten

Autorinnen und Autoren

Autorinnen und Autoren

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

Identifikationsnummern

  • REPORT NUMBER: RWTH-CONV-240068

Downloads