( en | de | ru )

 

Disambiguation of "Dreyer, Alexander"

Author of the publication

copydeleteadd this publication to your clipboard
Proof logging for computer algebra based SMT solving.

, , , , and . ICCAD, page 677-684. IEEE, (2013)

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.

Alexander Dreyer

Robert Kai Alexander Dreyer Daweke

Michael Dreyer

Thomas Dreyer

Karin Dreyer

 

Other publications of authors with the same name

Gröbner-free normal forms for Boolean polynomials., and . J. Symb. Comput., (2013)Solving hard instances in QF-BV combining Boolean reasoning with computer algebra., , , , , , and . Algorithms and Applications for Next Generation SAT Solvers, volume 09461 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, (2009)Gröbner-free normal forms for boolean polynomials., and . ISSAC, page 55-62. ACM, (2008)Fast and Robust Symbolic Model Order Reduction with Analog Insydes., , and . CASC, volume 6885 of Lecture Notes in Computer Science, page 215-225. Springer, (2011)Three-valued automated reasoning on analog properties., , and . ACM Great Lakes Symposium on VLSI, page 485-488. ACM, (2007)STABLE: A new QF-BV SMT solver for hard verification problems combining Boolean reasoning with computer algebra., , , , , , and . DATE, page 155-160. IEEE, (2011)PolyBoRi: A framework for Gröbner-basis computations with Boolean polynomials., and . J. Symb. Comput., 44 (9): 1326-1345 (2009)Combining Interval Arithmetic and Three-Valued Temporal Logics for the Verification of Analog Systems., , and . MBMV, page 121-130. Shaker, (2007)Proof logging for computer algebra based SMT solving., , , , and . ICCAD, page 677-684. IEEE, (2013)Network-driven Boolean Normal Forms., and . Verification over discrete-continuous boundaries, volume 10271 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, (2010)