Publications

2019

[bibtex]
Jasper Nalbach, Gereon Kremer, Erika Abraham. On Variable Orderings in MCSAT for Non-linear Real Arithmetic. Proceedingsd of the 4th International Workshop on Satisfiability Checking and Symbolic Computation, , 2019.
2017
Link
[bibtex]
Erika Abraham, Jasper Nalbach, Gereon Kremer. Embedding the Virtual Substitution Method in the Model Constructing Satisfiability Calculus Framework. Proc. of the 2nd International Workshop on Satisfiability Checking and Symbolic Computation, Volume 1974 of CEUR Workshop Proceedings, CEUR-WS.org, 2017.