Colva M. Roney-Dougal

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