International Competitions
2005 Constraint Modelling Challenge Winners
Peter Stuckey and Maria Garcia de la Banda
2005 SAT Competition Gold Medal Random Problems
John Slaney, Anbulagan, Abdul Sattar
Winner (EPR Division) Theorem Prover Competition IJCAR 2006
Peter Baumgartner
Awards for Papers and Posters
Best Poster CP 2006
Toby Walsh
Best Student Paper PRICAI 2006
Rafiq Muhammad and Peter Stuckey
Best Poster ECAI 2006
Maria Silvia Pini, Francesca Rossi, Kristen Brent Venable, Toby Walsh
"Top Ten" Submission ECAI 2006
Toby Walsh
Conference Duties
General Chair and Program Chair for CP 2008
Toby Walsh and Peter Stuckey
Program Co-Chair ICLP 2008
Maria Garcia de la Banda
General Chair and Program Co-Chair IJCAR 2008
Peter Baumgartner
Program Chair, IJCAI 2011
Toby Walsh
Miscellaneous Achievements
Two of the 4 most cited papers in Constraints journal (October 2006)
Publication of the Handbook of Constraint Programming (Elsevier 2006)
(1 out of 3 editors, 3 out of 26 chapters from G12)