Prof. Dr. phil. nat. Rolf Drechsler | Computer Science


Highlights | ICCAD

ICCAD Best Paper Awards
In the years 2013 and 2018 we received the
IEEE/ACM William J. McCalla ICCAD Best Paper Award for our papers

2018

"PolyCleaner: Clean your Polynomials before Backward Rewriting to Verify Million-gate Multipliers"
Alireza Mahzoon, Daniel Große, Rolf Drechsler
IEEE/ACM International Conference on Computer-Aided Design (ICCAD)
San Diego, USA, 2018

See also: Press release of DFKI (in German)


Source: Picture 1: ICCAD 2018 | Picture 2: DFKI GmbH 2018

2013


"Improved SAT-based ATPC: More Constraints, Better Compaction"
Stephan Eggersglüß, Robert Wille, Rolf Drechsler
IEEE/ACM International Conference on Computer-Aided Design (ICCAD)
pp. 85-90, San Jose, USA, 2013

See also: Press release of University of Bremen (in German)


Source: Picture 1: ICCAD Website 2013 | Picture 2: DFKI GmbH 2018

Original Certificate of ICCAD 2018


Original Certificate of ICCAD 2013


back | top



© 2017 Rolf Drechsler | University of Bremen || Impressum | e