University of Oxford Branding

OXFORD UNIVERSITY COMPUTING LABORATORY

Karen Petrie: Publications

personal ordering | bibtex

[1]	Symmetry definitions for constraint satisfaction problems David Cohen et al. Constraints, Vol. 11, pages 115-137. 2006. Received a Best Paper award. Details \| BibTeX \| Link (pdf) \| DOI (10.1007/s10601-006-8059-8)

[2]	GAPLex: Generalised Static Symmetry Breaking Karen Petrie with Chris Jefferson, Tom Kelsey, Steve Linton Trends in Constraint Programming, chapter 9, pages 329-376. 2007. Details \| BibTeX \| Link

[3]	Symmetry in Constraint Programming Karen Petrie with Ian Gent, Jean-Francois Puget In Handbook of Constraint Programming chapter 10, pages 329-376. Elseveir. 2006. Details \| BibTeX \| Link (pdf)

[4]	Efficiently Solving Problems where the Solutions Form a Group Karen Petrie with Chris Jefferson pages 529-533. Springer, 2008. Details \| BibTeX \| Link

[5]	Using Computer based Systems to Address the Gender Imbalance in Computing Karen Petrie with Margaret Ross, Cornelia Boldyreff, Hannah Dee, Jo Komisarczuk, Beth Massey, Fran Paterson 2008. Details \| BibTeX \| Link (html)

[6]	Incremental Symmetry Breaking Karen Petrie with Chris Jefferson 2007. Details \| BibTeX \| Link

[7]	Constraint Symmetry and Solution Symmetry Karen Petrie with David Cohen, Peter Jeavons, Chris Jefferson, Barbara Smith pages 1589-1592. AAAI Press, 2006. Details \| BibTeX \| Link

[8]	Symmetry definitions for Constraint Satisfaction Problems Karen Petrie with David Cohen, Peter Jeavons, Chris Jefferson, Barbara Smith pages 17-30. Springer, 2005. Winner of the best paper award. Details \| BibTeX \| Link

[9]	Dynamic Symmetry Breaking in Constraint Programming and Linear Programming Hybrids Karen Petrie with Barbara Smith, Neil Yorke-Smith pages 96-106. IOS press, 2004. Details \| BibTeX \| Link (pdf)

[10]	Modelling and Symmetry Breaking for 'Peaceable Armies of Queens' Karen Petrie with Barbara Smith, Ian Gent pages 271-286. Springer, 2004. Details \| BibTeX \| Link

[11]	Symmetry Breaking in Graceful Graphs Karen Petrie with Barbara Smith pages 930-935. Springer, 2003. Details \| BibTeX \| Link

[12]	A Framework for Comparing Symmetry Breaking Methods Karen Petrie pages 990. Springer, 2003. Details \| BibTeX \| Link

[13]	Symmetry Breaking in 'Peaceably Coexisting Armies of Queens' Karen Petrie pages 763. Springer, 2002. Details \| BibTeX \| Link

[14]	Efficient Propagation of Disjunctive Constraints using Watched Literals Karen Petrie with Chris Jefferson 2008. Details \| BibTeX \| Link (pdf)

[15]	Comparison of Symmetry Breaking Methods Karen Petrie with Barbara Smith pages 31-43. 2005. Details \| BibTeX \| Link

[16]	Modelling and Dynamic Symmetry Breaking Karen Petrie pages 18-26. 2005. Workshop held in conjunction with IJCAI 05. Details \| BibTeX

[17]	Combining SBDS and SBDD Karen Petrie pages 55-63. 2004. Details \| BibTeX \| Link

[18]	Why SBDD can be worse than SBDS Karen Petrie pages 168-176. 2003. Details \| BibTeX \| Link (html)

[19]	Symmetry Group Expressions for CSPs Karen Petrie with Warwick Harvey, Tom Kelsey pages 86-97. 2003. Details \| BibTeX \| Link (html)

[20]	Models and Symmetry Breaking for 'Peaceable Armies of Queens' Karen Petrie with Barbara Smith, Ian Gent 2002. Details \| BibTeX \| Link

Random Image

Random Image

Random Image