Æȷοì
Ulrich Loup
Á¦¸ñ
Àοë
Àοë
¿¬µµ
SMT-RAT: An SMT-Compliant Nonlinear Real Arithmetic Toolbox: (Tool Presentation)
F Corzilius, U Loup, S Junges, E Ábrahám
International Conference on Theory and Applications of Satisfiability ¡¦, 2012
552012
A symbiosis of interval constraint propagation and cylindrical algebraic decomposition
U Loup, K Scheibler, F Corzilius, E Ábrahám, B Becker
Automated Deduction–CADE-24: 24th International Conference on Automated ¡¦, 2013
242013
On Gröbner bases in the context of satisfiability-modulo-theories solving over the real numbers
S Junges, U Loup, F Corzilius, E Ábrahám
Algebraic Informatics: 5th International Conference, CAI 2013, Porquerolles ¡¦, 2013
162013
A lazy SMT-solver for a non-linear subset of real algebra
E Ábrahám, F Corzilius, U Loup, T Sturm
Schloss-Dagstuhl-Leibniz Zentrum für Informatik, 2010
122010
GiNaCRA: A C++ library for real algebraic computations
U Loup, E Ábrahám
NASA Formal Methods: Third International Symposium, NFM 2011, Pasadena, CA ¡¦, 2011
102011
Smt-solving for the first-order theory of the reals
E Abrahám, U Loup
Schloss-Dagstuhl-Leibniz Zentrum für Informatik, 2010
22010
On solving real-algebraic formulas in a satisfiability-modulo-theories framework
U Loup
Dissertation, RWTH Aachen University, 2018, 2018
12018
On collaboratively conveying computer science to pupils
E Ábrahám, N Bergner, P Brauner, F Corzilius, N Jansen, T Leonhardt, ...
Proceedings of the 11th Koli Calling International Conference on Computing ¡¦, 2011
12011
I-RiSC: an SMT-compliant solver for the existential fragment of real algebra
U Loup, E Ábrahám
Algebraic Informatics: 4th International Conference, CAI 2011, Linz, Austria ¡¦, 2011
12011
Decision Problems over the Domain of the Real Numbers.
U Loup
AlgoSyn, 80, 2010
12010
Podcastproduktion als kollaborativer Zugang zur theoretischen Informatik
E Ábrahám, P Brauner, N Jansen, T Leonhardt, U Loup, U Schroeder
Gesellschaft für Informatik eV, 2010
12010
On SMT-solving for the real algebra
E Abrahám, U Loup
Technical, 2009
12009
On Gröbner bases in SMT-compliant decision procedures over the reals
S Junges, U Loup, F Corzilius, E Abrahám
2013
GiNaCRA: A C++ Library for Real Algebraic
U Loup, E Ábrahám
2011
4.1. Control Synthesis and Optimization Using Real Algebraic SMT-Solving
U Loup
Joint Workshop of the German Research Training Groups in Computer Science, 80, 2011
2011
RTH Aachen
S Junges, U Loup, F Corzilius
SMT-Solving in the Analysis and Synthesis of Hybrid Systems
E Ábrahám, U Loup, F Corzilius, T Sturm
R\N11-I Aachen
S Junges, U Loup, F Corzilius, E Abraham
On Gröbner Bases in the Context of Satisfiability-Modulo-Theories Solving over the Real Numbers (Extended Version)
S Junges, U Loup, F Corzilius
The Program Committee Co-Chairs are very grateful for the substantial effort put in by the many reviewers outside of the Technical Program Committee. Samy Abbes Jan Krcal S ¡¦
H Alhakami, Y Lembachar, MS Alvim, M Loreti, A Angius, U Loup, ...
ÇöÀç ½Ã½ºÅÛÀÌ ÀÛµ¿µÇÁö ¾Ê½À´Ï´Ù. ³ªÁß¿¡ ´Ù½Ã ½ÃµµÇØ ÁÖ¼¼¿ä.
ÇмúÀÚ·á 1–20