Long Papers
| A Theoretical Framework for Constraint Propagator Triggering | |
| David A. Cohen, Christopher Jefferson, Karen E. J. Petrie |
| Finding Maximum k-Cliques Faster Using Lazy Global Domination | |
| Ciaran McCreesh, Patrick Prosser |
Short Papers
| Optimal Solitaire Game Solutions Using A* Search and Deadlock Analysis | |
| Gerald Paul, Malte Helmert |