
Search the dblp DataBase
Colva M. RoneyDougal:
[Publications]
[Author Rank by year]
[Coauthors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
 Tom Kelsey, Steve Linton, Colva M. RoneyDougal
New Developments in Symmetry Breaking in Search Using Computational Group Theory. [Citation Graph (0, 0)][DBLP] AISC, 2004, pp:199210 [Conf]
 Ian P. Gent, Tom Kelsey, Steve Linton, Colva M. RoneyDougal
Symmetry and Consistency. [Citation Graph (0, 0)][DBLP] CP, 2005, pp:271285 [Conf]
 Colva M. RoneyDougal, Ian P. Gent, Tom Kelsey, Steve Linton
Tractable Symmetry Breaking Using Restricted Search Trees. [Citation Graph (0, 0)][DBLP] ECAI, 2004, pp:211215 [Conf]
 Colva M. RoneyDougal, 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:421439 [Journal]
 Ian P. Gent, Tom Kelsey, S. A. Linton, J. Pearson, Colva M. RoneyDougal
Groupoids and Conditional Symmetry. [Citation Graph (0, 0)][DBLP] CP, 2007, pp:823830 [Conf]
Snake Lex: An Alternative to Double Lex. [Citation Graph (, )][DBLP]
Confluence of Reduction Rules for Lexicographic Ordering Constraints. [Citation Graph (, )][DBLP]
In Search of a Better Method to Break Row and Column Symmetries. [Citation Graph (, )][DBLP]
Minimal ordering constraints for some families of variable symmetries. [Citation Graph (, )][DBLP]
Search in 0.022secs, Finished in 0.023secs
