- nalbach at cs.rwth-aachen.de
- Phone
- +49 241 80 21243
- Address
- Room 4228
Ahornstraße 55
D-52074 Aachen
Research Interests
- SMT solving
- Nonlinear real arithmetic
- Cylindrical Algebraic Decomposition
- Linear arithmetic
Teaching Assistance
- Lecture: Satisfiability Checking (WS20/21)
- Seminar: Satisfiability Checking (SS20, WS20/21)
- Proseminar: Formale Methoden (WS20/21)
- Practical lab: Neural network verification with Reluplex (WS20/21)
- Lecture: Algorithmen und Datenstrukturen (SS20)
Publications
| 2019 | |
|---|---|
[bibtex]
[issue]
|
Erika Ábrahám, Gereon Kremer, Jasper Nalbach. On Variable Orderings in MCSAT for Non-linear Real Arithmetic, 4th Workshop on Satisfiability Checking and Symbolic Computation (SC-square), Volume 2460 of CEUR Workshop Proceedings, 7 Seiten, RWTH Aachen, 2019. |
| 2017 | |
| [bibtex] [issue] | Erika Ábrahám, Gereon Kremer, Jasper Nalbach. Embedding the Virtual Substitution Method in the Model Constructing Satisfiability Calculus Framework, 2nd International Workshop on Satisfiability Checking and Symbolic Computation (SC2), Volume 1974 of CEUR Workshop Proceedings, 12 Seiten, RWTH Aachen, 2017. |