( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
A Generalised Branch-and-Bound Approach and Its Application in SAT Modulo Nonlinear Integer Arithmetic.

, , и . CASC, том 9890 из Lecture Notes in Computer Science, стр. 315-335. Springer, (2016)

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.

Ernst Corzilius

Björn Corzilius

Hans-Ulrich Corzilius

Florian Franz

Realzeittest von Fahrzeugsoftware-Komponenten. TU München, (2009)

Florian Klasovsky

Syntheseparameter-Reaktivitätsbeziehungen für neue Palladiumoxidkatalysatoren in feinchemischen Hydrierungen. TU Darmstadt, (2009)
 

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

A Generalised Branch-and-Bound Approach and Its Application in SAT Modulo Nonlinear Integer Arithmetic., , и . CASC, том 9890 из Lecture Notes in Computer Science, стр. 315-335. Springer, (2016)SMT-RAT: An Open Source C++ Toolbox for Strategic and Parallel SMT Solving., , , , и . SAT, том 9340 из Lecture Notes in Computer Science, стр. 360-368. Springer, (2015)SMT-RAT: An SMT-Compliant Nonlinear Real Arithmetic Toolbox - (Tool Presentation)., , , и . SAT, том 7317 из Lecture Notes in Computer Science, стр. 442-448. Springer, (2012)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)Virtual Substitution for SMT-Solving., и . FCT, том 6914 из Lecture Notes in Computer Science, стр. 360-371. Springer, (2011)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)Integrating virtual substitution into strategic SMT solving.. RWTH Aachen University, Germany, (2016)