@inproceedings{Zivny09:same, author = "Christopher Jefferson and Serdar Kadioglu and Karen E. Petrie and Meinolf Sellmann and Stanislav \v{Z}ivn\'y", booktitle = "Proceedings of the 15th International Conference on Principles and Practice of Contraint Programming (CP'09)", doi = "10.1007/978-3-642-04244-7_38", number = "5732", series = "Lecture Notes in Computer Science", title = "Same-relation constraints", url = "http://zivny.cz/publications/jkpsz09cp-preprint.pdf", year = "2009", } Warning - the bibtex entry below may be invalid: Missing 'booktitle' field @inproceedings{WatchedOr, author = "Karen Petrie with Chris Jefferson", journal = "In Proc. ModRef 2008", title = "Efficient Propagation of Disjunctive Constraints using Watched Literals", url = "http://www.it.uu.se/research/group/astra/ModRef08/JeffersonPetrie.pdf", year = "2008", } Warning - the bibtex entry below may be invalid: Missing 'booktitle' @conference{GenderImbalance, author = "Karen Petrie with Margaret Ross, Cornelia Boldyreff, Hannah Dee, Jo Komisarczuk, Beth Massey, Fran Paterson", journal = "In Proc. ICWES 2008", title = "Using Computer based Systems to Address the Gender Imbalance in Computing", url = "http://www.icwes14.org/offres/gestion/menu_152_perso_152_5245/detailed-program.html", year = "2008", } Warning - the bibtex entry below may be invalid: Missing 'booktitle' field @inproceedings{SolsFormaGroup, author = "Karen Petrie with Chris Jefferson", journal = "In Proc. CP 2008", pages = "529-533", publisher = "Springer", series = "LNCS 5702", title = "Efficiently Solving Problems where the Solutions Form a Group", url = "http://www.springerlink.com/content/j727024720947621/?p=ef62f9beccf74986b131fa62813910f3&pi=22", year = "2008", } Warning - the bibtex entry below may be invalid: Missing 'booktitle' @conference{IncSymmBreaking, author = "Karen Petrie with Chris Jefferson", journal = "In Proc. International Symmetry Conference", title = "Incremental Symmetry Breaking", url = "http://isc.cs.st-andrews.ac.uk/", year = "2007", } @article{GapLexJournal, author = "Karen Petrie with Chris Jefferson, Tom Kelsey and Steve Linton", chapter = "9", journal = "Trends in Constraint Programming", pages = "329-376", publisher = "ISTE", title = "GAPLex: Generalised Static Symmetry Breaking", url = "http://www.iste.co.uk/index.php?isbn=9781905209972", year = "2007", } Warning - the bibtex entry below may be invalid: Missing 'booktitle' @conference{SymmNectar, author = "Karen Petrie with David Cohen, Peter Jeavons, Chris Jefferson and Barbara Smith", journal = "In Proc. AAAI 2006", pages = "1589-1592", publisher = "AAAI Press", title = "Constraint Symmetry and Solution Symmetry", url = "http://www.aaai.org/Library/AAAI/2006/aaai06-257.php", year = "2006", } @inbook{SymmetryHandbook, author = "Karen Petrie with Ian Gent and Jean-Francois Puget", booktitle = "Handbook of Constraint Programming", chapter = "10", isbn = "0444527265", pages = "329-376", publisher = "Elseveir", series = "Foundations of Artificial Intelligence", title = "Symmetry in Constraint Programming", url = "http://www.cs.st-andrews.ac.uk/~ipg/papers/GentPetriePugetFinalDraft.pdf", year = "2006", } @article{SymmetryDefinitions, author = "David Cohen and Peter Jeavons and Christopher Jefferson and Karen Petrie and Barbara Smith", doi = "10.1007/s10601-006-8059-8", journal = "Constraints", note = "Received a Best Paper award.", pages = "115-137", title = "Symmetry definitions for constraint satisfaction problems", url = "http://ai.uwaterloo.ca/\%7Evanbeek/Constraints/Papers/CohenJJPS06.pdf", volume = "11", year = "2006", } Warning - the bibtex entry below may be invalid: Missing 'booktitle' field @inproceedings{CompSymmetryMethods, author = "Karen Petrie with Barbara Smith", journal = "In Proc. SymCon 2005", pages = "31-43", title = "Comparison of Symmetry Breaking Methods", url = "http://www.cs.brown.edu/people/sello/symcon/", year = "2005", } Warning - the bibtex entry below may be invalid: Missing 'booktitle' field @inproceedings{ModSymWorkshop, author = "Karen Petrie", journal = "In Proc. International Workshop on Modelling and Solving Problems with Constraints", note = "Workshop held in conjunction with IJCAI 05", pages = "18-26", title = "Modelling and Dynamic Symmetry Breaking", year = "2005", } Warning - the bibtex entry below may be invalid: Missing 'booktitle' @conference{SymmDefConf, author = "Karen Petrie with David Cohen, Peter Jeavons, Chris Jefferson and Barbara Smith", journal = "In Proc. CP 2005", note = "Winner of the best paper award", pages = "17-30", publisher = "Springer", series = "LNCS 3709", title = "Symmetry definitions for Constraint Satisfaction Problems", url = "http://www.springerlink.com/content/kr00355p30375146/?p=64c5d121ac434f788a34936edae451a0&pi=4", year = "2005", } Warning - the bibtex entry below may be invalid: Missing 'booktitle' field @inproceedings{SBDDSBDS, author = "Karen Petrie", journal = "In Proc. SymCon 2004", pages = "55-63", title = "Combining SBDS and SBDD", url = "http://zeynep.web.cs.unibo.it/SymCon04/", year = "2004", } Warning - the bibtex entry below may be invalid: Missing 'booktitle' @conference{CPLPSBDS, author = "Karen Petrie with Barbara Smith and Neil Yorke-Smith", journal = "In Proc. STAIRS 2004", pages = "96-106", publisher = "IOS press", series = "Frontiers in Artificial Intelligence and Applications 109", title = "Dynamic Symmetry Breaking in Constraint Programming and Linear Programming Hybrids", url = "http://www.comp.leeds.ac.uk/bms/Papers/PetrieSTAIRS04.pdf", year = "2004", } Warning - the bibtex entry below may be invalid: Missing 'booktitle' @conference{AoQconf, author = "Karen Petrie with Barbara Smith and Ian Gent", journal = "In Proc. CP-AI-OR 2004", pages = "271-286", publisher = "Springer", series = "LNCS 3011", title = "Modelling and Symmetry Breaking for 'Peaceable Armies of Queens'", url = "http://www.springerlink.com/content/reuug5b87uravx5l/?p=b9c9deda06d445628f73b672fa68f905&pi=18", year = "2004", } Warning - the bibtex entry below may be invalid: Missing 'booktitle' field @inproceedings{GroupExp, author = "Karen Petrie with Warwick Harvey and Tom Kelsey", journal = "In Proc. SymCon 2003", pages = "86-97", title = "Symmetry Group Expressions for CSPs", url = "http://4c.ucc.ie/~bms/SymCon03/papers.html", year = "2003", } Warning - the bibtex entry below may be invalid: Missing 'booktitle' field @inproceedings{SBDDworseSBDS, author = "Karen Petrie", journal = "In Proc. SymCon 2003", pages = "168-176", title = "Why SBDD can be worse than SBDS", url = "http://4c.ucc.ie/~bms/SymCon03/papers.html", year = "2003", } Warning - the bibtex entry below may be invalid: Missing 'booktitle' @conference{FrameworkSymmetry, author = "Karen Petrie", journal = "In Proc. CP 2003", pages = "990", publisher = "Springer", series = "LNCS 2833", title = "A Framework for Comparing Symmetry Breaking Methods", url = "http://www.springerlink.com/content/fd4ypbgp3457hkav/?p=cd22be27f50540d19407d9f53df8bfa6&pi=113", year = "2003", } Warning - the bibtex entry below may be invalid: Missing 'booktitle' @conference{GracefulGraphsConf, author = "Karen Petrie with Barbara Smith", journal = "In Proc. CP 2003", pages = "930-935", publisher = "Springer", series = "LNCS 2833", title = "Symmetry Breaking in Graceful Graphs", url = "http://www.springerlink.com/content/59grn8unlnughv0h/?p=ee326e2b5e8740ccb8625c77909781cb&pi=80", year = "2003", } Warning - the bibtex entry below may be invalid: Missing 'booktitle' field @inproceedings{AOQModel, author = "Karen Petrie with Barbara Smith and Ian Gent", journal = "In Proc. International Workshop on Modelling and Solving Problems with Constraints", title = "Models and Symmetry Breaking for 'Peaceable Armies of Queens'", url = "http://www-users.cs.york.ac.uk/~tw/ecai02/", year = "2002", } Warning - the bibtex entry below may be invalid: Missing 'booktitle' @conference{AOQSymm, author = "Karen Petrie", journal = "In Proc. CP 2002", pages = "763", publisher = "Springer", series = "LNCS 2470", title = "Symmetry Breaking in 'Peaceably Coexisting Armies of Queens'", url = "http://www.springerlink.com/content/ae0c4va6822xe9te/?p=0994ae8c61bb45fb94572efa657ad14f&pi=60", year = "2002", }