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 |