Search the dblp DataBase

Publications of Author

1. Tom Kelsey, Steve Linton, Colva M. Roney-Dougal
   New Developments in Symmetry Breaking in Search Using Computational Group Theory. [Citation Graph (0, 0)][DBLP]
   AISC, 2004, pp:199-210 [Conf]
   
2. Ian P. Gent, Tom Kelsey, Steve Linton, Colva M. Roney-Dougal
   Symmetry and Consistency. [Citation Graph (0, 0)][DBLP]
   CP, 2005, pp:271-285 [Conf]
   
3. Colva M. Roney-Dougal, Ian P. Gent, Tom Kelsey, Steve Linton
   Tractable Symmetry Breaking Using Restricted Search Trees. [Citation Graph (0, 0)][DBLP]
   ECAI, 2004, pp:211-215 [Conf]
   
4. Colva M. Roney-Dougal, William R. Unger
   The affine primitive permutation groups of degree less than 1000. [Citation Graph (0, 0)][DBLP]
   J. Symb. Comput., 2003, v:35, n:4, pp:421-439 [Journal]
   
5. Ian P. Gent, Tom Kelsey, S. A. Linton, J. Pearson, Colva M. Roney-Dougal
   Groupoids and Conditional Symmetry. [Citation Graph (0, 0)][DBLP]
   CP, 2007, pp:823-830 [Conf]
   
6. 
   Snake Lex: An Alternative to Double Lex. [Citation Graph (, )][DBLP]
   
   
7. 
   Confluence of Reduction Rules for Lexicographic Ordering Constraints. [Citation Graph (, )][DBLP]
   
   
8. 
   In Search of a Better Method to Break Row and Column Symmetries. [Citation Graph (, )][DBLP]
   
   
9. 
   Minimal ordering constraints for some families of variable symmetries. [Citation Graph (, )][DBLP]