Author of the publication

Decision Problems over the Domain of the Real Numbers.

. AlgoSyn, page 80. Verlagshaus Mainz, Aachen, Germany, (2010)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

On Gröbner Bases in the Context of Satisfiability-Modulo-Theories Solving over the Real Numbers., , , and . CAI, volume 8080 of Lecture Notes in Computer Science, page 186-198. Springer, (2013)A Lazy SMT-Solver for a Non-Linear Subset of Real Algebra., , , and . Verification over discrete-continuous boundaries, volume 10271 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, (2010)SMT-Solving for the First-Order Theory of the Reals., and . Algorithms and Applications for Next Generation SAT Solvers, volume 09461 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, (2009)Podcastproduktion als kollaborativer Zugang zur theoretischen Informatik., , , , , and . DeLFI, volume P-169 of LNI, page 239-251. GI, (2010)Decision Problems over the Domain of the Real Numbers.. AlgoSyn, page 80. Verlagshaus Mainz, Aachen, Germany, (2010)GiNaCRA: A C++ Library for Real Algebraic Computations., and . NASA Formal Methods, volume 6617 of Lecture Notes in Computer Science, page 512-517. Springer, (2011)I-RiSC: An SMT-Compliant Solver for the Existential Fragment of Real Algebra., and . CAI, volume 6742 of Lecture Notes in Computer Science, page 230-246. Springer, (2011)SMT-RAT: An SMT-Compliant Nonlinear Real Arithmetic Toolbox - (Tool Presentation)., , , and . SAT, volume 7317 of Lecture Notes in Computer Science, page 442-448. Springer, (2012)