Programme
8:50 - Opening Remarks
9:00 - 10:30 - Session 1
9:00 - Dynamic Posting of Static Symmetry Breaking Constraints
G. Katsirelos, N. Narodytska and T. Walsh
9:30 - Lightweight
Dynamic Symmetry Breaking
C. Mears, M. Garcia de la Banda, B. Demoen and M. Wallace
10:00 - Symmetry
Breaking by Metaheuristic Search
S. D. Prestwich ,B. Hnich, R. Rossi, and S. A. Tarim
10:30 - 11:00 - Coffee Break
11:00 - 12:30 - Session 2
11:00 - Model Restarts for Structural Symmetry Breaking
D. Heller, A. Panda, M. Sellmann, and J. Yip
11:30 - Dominance in Incomplete Solvers for the Multiple Knapsack Problem
A. S. Fukunaga
12:00 - Symmetry and Non-Monotonic Inference
B. Benhamou and P. Siegel
12:30 - 2:00 - Lunch
Break
2:00 - 4:00 - Session 3
2:00 - Faster Symmetry Discovery using Sparsity of
Symmetries - Invited Talk
Karem Sakallah
3:00 - Confluence of
Reduction Rules for Lexicographic Ordering Constraints
A. Grayland, I. Miguel and C.
M. Roney-Dougal
3:30 - Symmetry
Breaking and Branching Constraints
C. Mears, M. Garcia de la
Banda, M. Wallace, and B. Demoen
4:00 - 4:30 - Coffee
Break
4:30 - Informal
Discussion on Symmetry