Alexander Dreyer
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2008–2013
Best venue rank
A
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2013 | ICCAD | Proof logging for computer algebra based SMT solving. | Oliver Marx, Markus Wedler, Dominik Stoffel, Wolfgang Kunz, Alexander Dreyer |
| 2011 | CASC | Fast and Robust Symbolic Model Order Reduction with Analog Insydes. | Matthias Hauser, Christian Salzig, Alexander Dreyer |
| 2011 | DATE | 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 |
| 2008 | ISSAC | Grbner-free normal forms for boolean polynomials. | Michael Brickenstein, Alexander Dreyer |