Publications

Peaceably Coexisting Armies of Queens

I have written and cowritten a few papers to do with symmetry breaking in Peaceably Coexisting Armies of Queens problem. They look at different models for the problem and how Symmetry Breaking During Search (SBDS), operates in each of these models
  • AoQpaperECAI.ps In the proceedings of the ECAI2002 workshop on Modelling and Solving Problems with Constraints. This paper concentrates on modelling. Cowritten with Barbara Smith and Ian Gent.
  • AoQpaper.ps An extended abstract which concentrates mainly on symmetry breaking. This abstract was accepted at the CP2002 Doctoral Program. In postscript format.
  • AoQpaper.pdf An extended abstract which concentrates mainly on symmetry breaking. This abstract was accepted at the CP2002 Doctoral Program. In pdf format.
  • AoQabstract.ps This is the one page which appeared in the CP2002 proceedings.In postscript format.
  • AoQabstract.pdf This is the one page which appeared in the CP2002 proceedings. In pdf format.


Symmetry Breaking During Search (SBDS) Library for ECLiPSe

I have been involved in writting an SBDS library for ECLiPSe. ECLiPSe is a software system, based on the Constraint Logic Programming paradigm, for the development and deployment of constraint programming applications. ECLiPSe comprises several constraint libraries. More details about ECLiPSe can be found at: http://www-icparc.doc.ic.ac.uk/eclipse/

The documentation and the library can be downloaded from here, subject to the following terms:

This Library is public domain software; you are entitled to copy, modify and redistribute this Library subject to the following:

  1. If you fix any bugs or make any enhancements to the Library which would be of use to others, we request that you send these modifications to the authors for possible inclusion in future versions of the Library.
  2. If the Library or any derivative is used in the preparation of any publications then the authors should be acknowledged.
  3. This notice is kept intact in any modified or redistributed versions of the Library.

The authors would also like to hear any comments on or suggestions for improvement to the Library.

Authors:
  • Warwick Harvey: wh@icparc.ic.ac.uk
  • Karen Petrie: k.e.petrie@hud.ac.uk

The authors acknowledge the support of IC-Parc and Imperial College (first author) and The University of Huddersfield (second author) during the development of this library.
[ Home | Research | Publications |Teaching |Friends|Interests| Contact Details ]

Maintained by : K. E. Petrie