Automated Symmetry Breaking and Model Selection in Conjure

Ozgur Akgun, Alan M. Frisch, Ian P. Gent, Bilal Syed Hussain, Christopher Jefferson, Lars Kotthoff, Ian Miguel, Peter Nightingale. Automated Symmetry Breaking and Model Selection in Conjure. In Christian Schulte, editor, Principles and Practice of Constraint Programming - 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013. Proceedings. Volume 8124 of Lecture Notes in Computer Science, pages 107-116, Springer, 2013. [doi]

@inproceedings{AkgunFGHJKMN13,
  title = {Automated Symmetry Breaking and Model Selection in Conjure},
  author = {Ozgur Akgun and Alan M. Frisch and Ian P. Gent and Bilal Syed Hussain and Christopher Jefferson and Lars Kotthoff and Ian Miguel and Peter Nightingale},
  year = {2013},
  doi = {10.1007/978-3-642-40627-0_11},
  url = {http://dx.doi.org/10.1007/978-3-642-40627-0_11},
  researchr = {https://researchr.org/publication/AkgunFGHJKMN13},
  cites = {0},
  citedby = {0},
  pages = {107-116},
  booktitle = {Principles and Practice of Constraint Programming - 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013. Proceedings},
  editor = {Christian Schulte},
  volume = {8124},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-40626-3},
}