64 search results - page 1 / 13 » The Ackermann Award 2009 |
CSL
2009
Springer
14 years 5 months ago
2009
Springer
CSL
2005
Springer
14 years 4 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
14 years 5 months ago
2007
Springer
CSL
2008
Springer
14 years 20 days ago
2008
Springer
FMSD
2010
13 years 9 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. ...