Colva M. Roney-Dougal

According to our database, Colva M. Roney-Dougal authored at least 18 papers between 2003 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of three.

2023

Finite groups satisfying the independence property.

Saul D. Freedman, Andrea Lucchini, Daniele Nemmi, Colva M. Roney-Dougal

Int. J. Algebra Comput., 2023

2021

Polynomial-time proofs that groups are hyperbolic.

Derek F. Holt, Stephen A. Linton, Max Neunhöffer, Richard Parker, Markus Pfeiffer, Colva M. Roney-Dougal

J. Symb. Comput., 2021

The Non-Commuting, Non-Generating Graph of a Nilpotent Group.

Peter J. Cameron, Saul D. Freedman, Colva M. Roney-Dougal

Electron. J. Comb., 2021

Maximal subgroups of finite simple groups: classifications and applications.

Colva M. Roney-Dougal

Proceedings of the Surveys in Combinatorics, 2021

2020

Normalisers of primitive permutation groups in quasipolynomial time.

Colva M. Roney-Dougal, Sergio Siccha

CoRR, 2020

2011

Constructive homomorphisms for classical groups.

Scott H. Murray, Colva M. Roney-Dougal

J. Symb. Comput., 2011

2010

Constructing maximal subgroups of orthogonal groups.

Derek F. Holt, Colva M. Roney-Dougal

LMS J. Comput. Math., 2010

2009

Minimal ordering constraints for some families of variable symmetries.

Andrew Grayland, Christopher Jefferson, Ian Miguel, Colva M. Roney-Dougal

Ann. Math. Artif. Intell., 2009

In Search of a Better Method to Break Row and Column Symmetries.

Andrew Grayland, Ian Miguel, Colva M. Roney-Dougal

Proceedings of the Eighth Symposium on Abstraction, Reformulation, and Approximation, 2009

Confluence of Reduction Rules for Lexicographic Ordering Constraints.

Andrew Grayland, Ian Miguel, Colva M. Roney-Dougal

Proceedings of the Eighth Symposium on Abstraction, Reformulation, and Approximation, 2009

Snake Lex: An Alternative to Double Lex.

Andrew Grayland, Ian Miguel, Colva M. Roney-Dougal

Proceedings of the Principles and Practice of Constraint Programming, 2009

2007

Groupoids and Conditional Symmetry.

Ian P. Gent, Tom Kelsey, Stephen A. Linton, J. Pearson, Colva M. Roney-Dougal

Proceedings of the Principles and Practice of Constraint Programming, 2007

2005

Constructing Maximal Subgroups of Classical Groups.

Derek F. Holt, Colva M. Roney-Dougal

LMS J. Comput. Math., 2005

Symmetry and Consistency.

Ian P. Gent, Tom Kelsey, Steve Linton, Colva M. Roney-Dougal

Proceedings of the Principles and Practice of Constraint Programming, 2005

2004

Conjugacy of Subgroups of the General Linear Group.

Colva M. Roney-Dougal

Exp. Math., 2004

Tractable Symmetry Breaking Using Restricted Search Trees.

Colva M. Roney-Dougal, Ian P. Gent, Tom Kelsey, Steve Linton

Proceedings of the 16th Eureopean Conference on Artificial Intelligence, 2004

New Developments in Symmetry Breaking in Search Using Computational Group Theory.

Tom Kelsey, Steve Linton, Colva M. Roney-Dougal

Proceedings of the Artificial Intelligence and Symbolic Computation, 2004

2003

The affine primitive permutation groups of degree less than 1000.

Colva M. Roney-Dougal, William R. Unger

J. Symb. Comput., 2003