Alexander Dreyer

According to our database, Alexander Dreyer authored at least 9 papers between 2007 and 2013.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2013

Gröbner-free normal forms for Boolean polynomials.

Michael Brickenstein, Alexander Dreyer

J. Symb. Comput., 2013

Proof Logging for Computer Algebra based SMT Solving.

Oliver Marx, Markus Wedler, Dominik Stoffel, Wolfgang Kunz, Alexander Dreyer

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2013

2011

STABLE: A new QF-BV SMT solver for hard verification problems combining Boolean reasoning with computer algebra.

Evgeny Pavlenko, Markus Wedler, Dominik Stoffel, Wolfgang Kunz, Alexander Dreyer, Frank Seelisch, Gert-Martin Greuel

Proceedings of the Design, Automation and Test in Europe, 2011

Fast and Robust Symbolic Model Order Reduction with Analog Insydes.

Matthias Hauser, Christian Salzig, Alexander Dreyer

Proceedings of the Computer Algebra in Scientific Computing - 13th International Workshop, 2011

2010

Network-driven Boolean Normal Forms.

Michael Brickenstein, Alexander Dreyer

Proceedings of the Verification over discrete-continuous boundaries, 04.07. - 09.07.2010, 2010

2009

PolyBoRi: A framework for Gröbner-basis computations with Boolean polynomials.

Michael Brickenstein, Alexander Dreyer

J. Symb. Comput., 2009

Solving hard instances in QF-BV combining Boolean reasoning with computer algebra.

Markus Wedler, Evgeny Pavlenko, Alexander Dreyer, Frank Seelisch, Dominik Stoffel, Gert-Martin Greuel, Wolfgang Kunz

Proceedings of the Algorithms and Applications for Next Generation SAT Solvers, 08.11., 2009

2007

Combining Interval Arithmetic and Three-Valued Temporal Logics for the Verification of Analog Systems.

Raffaella Gentilini, Klaus Schneider, Alexander Dreyer

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2007

Three-valued automated reasoning on analog properties.

Raffaella Gentilini, Klaus Schneider, Alexander Dreyer

Proceedings of the 17th ACM Great Lakes Symposium on VLSI 2007, 2007