Corpus ID: 116763333

Symmetry Breaking in the Alien Tiles Puzzle

@inproceedings{Gent2000SymmetryBI,
  title={Symmetry Breaking in the Alien Tiles Puzzle},
  author={Ian P. Gent and S. A. Linton and B. Smith},
  year={2000}
}
  • Ian P. Gent, S. A. Linton, B. Smith
  • Published 2000
  • Mathematics
  • We describe an application of symmetry breaking in constrai n programming to a combinatorial puzzle based on the Alien Tiles game. We obtain a 40-fold run-tim e provement over code with no symmetry breaking. We believe this is the first integration o f an algebraic system like GAP and a constraint programming system like ILOG Solver. Available from http://www.cs.strath.ac.uk/ ̃apes/apesr eports.html School of Computer Science, University of St Andrews, St And rews, Fife, KY16 9SS, UK. ipg@cs.st… CONTINUE READING
    13 Citations
    Symmetry Breaking Revisited
    • J. Puget
    • Computer Science, Mathematics
    • Constraints
    • 2004
    • 60
    • PDF
    Reducing Symmetry in a Combinatorial Design Problem
    • 69
    Symmetry in Constraint Programming
    • 108
    • PDF
    Combination: automated generation of puzzles with constraints
    • 2
    • PDF
    Symmetry Breaking in Graceful Graphs
    • 68
    • PDF
    Partial Symmetry Breaking
    • 31
    Optimum Symmetry Breaking in CSPs Using Group Theory
    • 3
    Groups and Constraints: Symmetry Breaking during Search
    • 101
    • PDF
    Algebraic Constraint Programming ∗

    References

    SHOWING 1-2 OF 2 REFERENCES
    Symmetry Breaking in Constraint Programming
    • 231
    • PDF
    Excluding Symmetries in Constraint-Based Search
    • 134
    • Highly Influential