Colva M. Roney-Dougal
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
3
Active years
2004–2009
Best venue rank
A
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2009 | CP | Snake Lex: An Alternative to Double Lex. | Andrew Grayland, Ian Miguel, Colva M. Roney-Dougal |
| 2007 | CP | Groupoids and Conditional Symmetry. | Ian P. Gent, Tom W. Kelsey, Stephen A. Linton, J. Pearson, Colva M. Roney-Dougal |
| 2005 | CP | Symmetry and Consistency. | Ian P. Gent, Tom W. Kelsey, Steve Linton, Colva M. Roney-Dougal |
| 2004 | AISC | New Developments in Symmetry Breaking in Search Using Computational Group Theory. | Tom W. Kelsey, Steve Linton, Colva M. Roney-Dougal |
| 2004 | ECAI | Tractable Symmetry Breaking Using Restricted Search Trees. | Colva M. Roney-Dougal, Ian P. Gent, Tom W. Kelsey, Steve Linton |