Video recording
Session title:
Constraints: symmetry
Session chair:
Jimmy Lee
Talks
Symmetry Breaking via LexLeader Feasibility CheckersPascal Van Hentenryck and Justin Yip
Symmetries and Lazy Clause GenerationGeoffrey Chu, Maria Garcia de la Banda, Chris Mears and Peter StuckeySlides
 
Video
 
Video also available for download here. We recommend VLC for playing