Technical Program
8:50 Opening Remarks
9:00 - 10:00 Session 1 --- Chair: Alex Fukunaga
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 - 10:30 Coffee Break
10:30 - 12:30 Session 2 --- Chair: Toby Walsh
10:30
- Model Restarts for Structural Symmetry Breaking
D. Heller, A. Panda, M. Sellmann, and
J. Yip
11:00
- Dominance in Incomplete Solvers for the Multiple Knapsack Problem
A. S. Fukunaga
11:30
- Symmetry and Non-Monotonic Inference
B. Benhamou and P. Siegel
12:00
- Symmetry Breaking by Metaheuristic Search
B. Hnich , R. Rossi, and S. A. Tarim
12:30 - 2:00 Lunch Break
2:00 - 4:00 Session 3 --- Chair: Meinolf Sellemann
2:00 - Faster Symmetry Discovery using Sparsity of Symmetries -
Invited Talk
Karem Sakallah
3:00
- Confluence of Reduction Rules for Lexicographic Ordering Constraints
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 (F. Aloul, B. Benhamou, L. Sais)