64 search results - page 1 / 13 » The Ackermann Award 2009 |
CSL
2009
Springer
13 years 11 months ago
2009
Springer
CSL
2005
Springer
13 years 10 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
13 years 11 months ago
2007
Springer
CSL
2008
Springer
13 years 6 months ago
2008
Springer
FMSD
2010
13 years 3 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. ...