Publications for Ulrich Loup
| 2018 | |
|---|---|
 [bibtex] | Ulrich Loup. On Solving Real-algebraic Formulas in a Satisfiability-modulo-theories Framework. Phd Thesis at RWTH Aachen University, 2018. |
| Show all | |
| 2018 | |
|---|---|
[bibtex] | Ulrich Loup. On Solving Real-algebraic Formulas in a Satisfiability-modulo-theories Framework. Phd Thesis at RWTH Aachen University, 2018. |
| Show all | |