Colva M. Roney-Dougal

Publication Activity (10 Years)

Years Active: 2003-2023
Publications (10 Years): 5

Top Topics

Graph Clustering

Cluster Analysis

Top Venues

Electron. J. Comb.

Int. J. Algebra Comput.

Publications

Saul D. Freedman, Andrea Lucchini, Daniele Nemmi, Colva M. Roney-Dougal
Finite groups satisfying the independence property. Int. J. Algebra Comput. 33 (3) (2023)
Derek Holt, Stephen A. Linton, Max Neunhöffer, Richard Parker, Markus Pfeiffer, Colva M. Roney-Dougal
Polynomial-time proofs that groups are hyperbolic. J. Symb. Comput. 104 (2021)
Peter J. Cameron, Saul D. Freedman, Colva M. Roney-Dougal
The Non-Commuting, Non-Generating Graph of a Nilpotent Group. Electron. J. Comb. 28 (1) (2021)
Colva M. Roney-Dougal
Maximal subgroups of finite simple groups: classifications and applications. BCC (2021)
Colva M. Roney-Dougal, Sergio Siccha
Normalisers of primitive permutation groups in quasipolynomial time. CoRR (2020)
Scott H. Murray, Colva M. Roney-Dougal
Constructive homomorphisms for classical groups. J. Symb. Comput. 46 (4) (2011)
Derek F. Holt, Colva M. Roney-Dougal
Constructing maximal subgroups of orthogonal groups. LMS J. Comput. Math. 13 (2010)
Andrew Grayland, Ian Miguel, Colva M. Roney-Dougal
Confluence of Reduction Rules for Lexicographic Ordering Constraints. SARA (2009)
Andrew Grayland, Ian Miguel, Colva M. Roney-Dougal
Snake Lex: An Alternative to Double Lex. CP (2009)
Andrew Grayland, Ian Miguel, Colva M. Roney-Dougal
In Search of a Better Method to Break Row and Column Symmetries. SARA (2009)
Andrew Grayland, Christopher Jefferson, Ian Miguel, Colva M. Roney-Dougal
Minimal ordering constraints for some families of variable symmetries. Ann. Math. Artif. Intell. 57 (1) (2009)
Ian P. Gent, Tom Kelsey, Stephen A. Linton, J. Pearson, Colva M. Roney-Dougal
Groupoids and Conditional Symmetry. CP (2007)
Derek F. Holt, Colva M. Roney-Dougal
Constructing Maximal Subgroups of Classical Groups. LMS J. Comput. Math. 8 (2005)
Ian P. Gent, Tom Kelsey, Steve Linton, Colva M. Roney-Dougal
Symmetry and Consistency. CP (2005)
Tom Kelsey, Steve Linton, Colva M. Roney-Dougal
New Developments in Symmetry Breaking in Search Using Computational Group Theory. AISC (2004)
Colva M. Roney-Dougal, Ian P. Gent, Tom Kelsey, Steve Linton
Tractable Symmetry Breaking Using Restricted Search Trees. ECAI (2004)
Colva M. Roney-Dougal
Conjugacy of Subgroups of the General Linear Group. Exp. Math. 13 (2) (2004)
Colva M. Roney-Dougal, William R. Unger
The affine primitive permutation groups of degree less than 1000. J. Symb. Comput. 35 (4) (2003)