Alexander Dreyer

Publication Activity (10 Years)

Years Active: 2007-2013
Publications (10 Years): 0

Top Topics

Boolean Expressions

Computer Algebra

Numerically Stable

Top Venues

J. Symb. Comput.

Publications

Oliver Marx, Markus Wedler, Dominik Stoffel, Wolfgang Kunz, Alexander Dreyer
Proof Logging for Computer Algebra based SMT Solving. MBMV (2013)
Michael Brickenstein, Alexander Dreyer
Gröbner-free normal forms for Boolean polynomials. J. Symb. Comput. 48 (2013)
Oliver Marx, Markus Wedler, Dominik Stoffel, Wolfgang Kunz, Alexander Dreyer
Proof logging for computer algebra based SMT solving. ICCAD (2013)
Evgeny Pavlenko, Markus Wedler, Dominik Stoffel, Wolfgang Kunz, Alexander Dreyer, Frank Seelisch, Gert-Martin Greuel
STABLE: A new QF-BV SMT Solver for hard Verification Problems combining Boolean Reasoning with Computer Algebra. MBMV (2011)
Evgeny Pavlenko, Markus Wedler, Dominik Stoffel, Wolfgang Kunz, Alexander Dreyer, Frank Seelisch, Gert-Martin Greuel
STABLE: A new QF-BV SMT solver for hard verification problems combining Boolean reasoning with computer algebra. DATE (2011)
Matthias Hauser, Christian Salzig, Alexander Dreyer
Fast and Robust Symbolic Model Order Reduction with Analog Insydes. CASC (2011)
Michael Brickenstein, Alexander Dreyer
Network-driven Boolean Normal Forms. Verification over discrete-continuous boundaries (2010)
Michael Brickenstein, Alexander Dreyer
PolyBoRi: A framework for Gröbner-basis computations with Boolean polynomials. J. Symb. Comput. 44 (9) (2009)
Markus Wedler, Evgeny Pavlenko, Alexander Dreyer, Frank Seelisch, Dominik Stoffel, Gert-Martin Greuel, Wolfgang Kunz
Solving hard instances in QF-BV combining Boolean reasoning with computer algebra. Algorithms and Applications for Next Generation SAT Solvers (2009)
Michael Brickenstein, Alexander Dreyer
Gröbner-free normal forms for boolean polynomials. ISSAC (2008)
Raffaella Gentilini, Klaus Schneider, Alexander Dreyer
Three-valued automated reasoning on analog properties. ACM Great Lakes Symposium on VLSI (2007)
Raffaella Gentilini, Klaus Schneider, Alexander Dreyer
Combining Interval Arithmetic and Three-Valued Temporal Logics for the Verification of Analog Systems. MBMV (2007)