You are currently offline. Some features of the site may not work correctly.

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}
}

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