Ulrich Loup

Publication Activity (10 Years)

Years Active: 2009-2013
Publications (10 Years): 0

Top Topics

Constrained Problems

Quantifier Elimination

Satisfiability Modulo Theories

Top Venues

Publications

Ulrich Loup, Karsten Scheibler, Florian Corzilius, Erika Ábrahám, Bernd Becker
A Symbiosis of Interval Constraint Propagation and Cylindrical Algebraic Decomposition. CADE (2013)
Sebastian Junges, Ulrich Loup, Florian Corzilius, Erika Ábrahám
On Gröbner Bases in the Context of Satisfiability-Modulo-Theories Solving over the Real Numbers. CAI (2013)
Florian Corzilius, Ulrich Loup, Sebastian Junges, Erika Ábrahám
SMT-RAT: An SMT-Compliant Nonlinear Real Arithmetic Toolbox - (Tool Presentation). SAT (2012)
Ulrich Loup, Erika Ábrahám
GiNaCRA: A C++ Library for Real Algebraic Computations. NASA Formal Methods (2011)
Erika Ábrahám, Nadine Bergner, Philipp Brauner, Florian Corzilius, Nils Jansen, Thiemo Leonhardt, Ulrich Loup, Johanna Nellen, Ulrik Schroeder
On collaboratively conveying computer science to pupils. Koli Calling (2011)
Ulrich Loup, Erika Ábrahám
I-RiSC: An SMT-Compliant Solver for the Existential Fragment of Real Algebra. CAI (2011)
Ulrich Loup
Decision Problems over the Domain of the Real Numbers. AlgoSyn (2010)
Erika Ábrahám, Florian Corzilius, Ulrich Loup, Thomas Sturm
A Lazy SMT-Solver for a Non-Linear Subset of Real Algebra. Verification over discrete-continuous boundaries (2010)
Erika Ábrahám, Philipp Brauner, Nils Jansen, Thiemo Leonhardt, Ulrich Loup, Ulrik Schroeder
Podcastproduktion als kollaborativer Zugang zur theoretischen Informatik. DeLFI (2010)
Erika Ábrahám, Ulrich Loup
SMT-Solving for the First-Order Theory of the Reals. Algorithms and Applications for Next Generation SAT Solvers (2009)