Call for Papers 

For info about submission deadlines etc. please click here

 

Proceedings

0) Symcon 2008 Preface & Acknowledgments

1) Dominance in Incomplete Solvers for the Multiple Knapsack Problem
A. S. Fukunaga

2) Model Restarts for Structural Symmetry Breaking
D. Heller, A. Panda, M. Sellmann, and J. Yip

3) Symmetry and Non-monotonic Inference
B. Benhamou and P. Siegel

4) Dynamic Posting of Static Symmetry Breaking Constraints
G. Katsirelos, N. Narodytska and T. Walsh

5) Confluence of reduction rules for lexicographic ordering constraints
A. Grayland , I. Miguel and C. M. Roney-Dougal

6) Lightweight Dynamic Symmetry Breaking
C. Mears, M. Garcia de la Banda, B. Demoen, and M. Wallace

7) Symmetry Breaking and Branching Constraints
C. Mears, M. Garcia de la Banda, M. Wallace, and B. Demoen

8) Symmetry Breaking by Metaheuristic Search
S. D. Prestwich , B. Hnich , R. Rossi, and S. A. Tarim