( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
A Lazy SMT-Solver for a Non-Linear Subset of Real Algebra.

, , , и . Verification over discrete-continuous boundaries, том 10271 из Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 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.

Elvira Loup

Barbara Stefanie Loupatatzis

Christos Loupatatzis

Jean-Loup Florens

Jean-Loup Guillaume

 

Другие публикации лиц с тем же именем

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