2007 |
5 | EE | Ian P. Gent,
Tom Kelsey,
S. A. Linton,
J. Pearson,
Colva M. Roney-Dougal:
Groupoids and Conditional Symmetry.
CP 2007: 823-830 |
2005 |
4 | EE | Ian P. Gent,
Tom Kelsey,
Steve Linton,
Colva M. Roney-Dougal:
Symmetry and Consistency.
CP 2005: 271-285 |
2004 |
3 | EE | Tom Kelsey,
Steve Linton,
Colva M. Roney-Dougal:
New Developments in Symmetry Breaking in Search Using Computational Group Theory.
AISC 2004: 199-210 |
2 | | Colva M. Roney-Dougal,
Ian P. Gent,
Tom Kelsey,
Steve Linton:
Tractable Symmetry Breaking Using Restricted Search Trees.
ECAI 2004: 211-215 |
2003 |
1 | EE | Colva M. Roney-Dougal,
William R. Unger:
The affine primitive permutation groups of degree less than 1000.
J. Symb. Comput. 35(4): 421-439 (2003) |