64 search results - page 1 / 13 » The Ackermann Award 2009 |
87
Voted
CSL
2009
Springer
15 years 7 months ago
2009
Springer
118
Voted
CSL
2005
Springer
15 years 6 months ago
2005
Springer
ce, the publication of the abstract of the thesis and the citation in the CSL proceedings, and travel support to attend the conference. The first Ackermann Award is presented at t...
CSL
2007
Springer
15 years 7 months ago
2007
Springer
CSL
2008
Springer
15 years 2 months ago
2008
Springer
116
Voted
FMSD
2010
14 years 11 months ago
2010
Abstract The 2009 CAV (Computer-Aided Verification) award was presented to seven individuals who made major advances in creating high-performance Boolean satisfiability solvers. ...