Alexander Dreyer

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