Video recording
Session title:
Constraints: symmetry
Session chair:
Jimmy Lee
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 also available for download here. We recommend VLC for playing