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

Nalbach, Jasper Kurt Ferdinand; Ábrahám, Erika; Kremer, Gereon

doi:10.18154/RWTH-CONV-240068

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

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

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, Seiten/Artikel-Nr: 7 Seiten

2019

Konferenz/Event:4. Workshop on Satisfiability Checking and Symbolic Computation , Bern , Switzerland , SC-square , 2019-07-10 - 2019-07-10

Konferenz/Event:SIAM Conference on Applied Algebraic Geometry , Bern , Switzerland , SIAM AG 2019 , 2019-07-10 - 2019-07-10

ImpressumAachen, Germany : RWTH-Aachen

Umfang7 Seiten

ReiheCEUR workshop proceedings ; 2460