Publications

Publications for Ulrich Loup

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