sym.bib


@INPROCEEDINGS{gentsmit:sbds,
  AUTHOR = {Ian P. Gent and Barbara M. Smith},
  TITLE = {Symmetry Breaking in Constraint Programming},
  BOOKTITLE = {14th European Conference on Artificial Intelligence},
  CROSSREF = {ECAI:2000},
  PAGES = {599--603}
}


@INPROCEEDINGS{gentsmit:sbds_matmodel,
  AUTHOR = {Ian P. Gent and Barbara M. Smith},
  TITLE = {Reducing Symmetry in Matrix Models: SBDS v. Constraints},
  BOOKTITLE = {Workshop Symmetry in Constraints, ICLP'01},
  CROSSREF = {ICLP01w:symcon01},
  PAGES = {49--55}
}


@INPROCEEDINGS{donnsmit:pbs,
  AUTHOR = {Ian McDonnald and Barbara Smith},
  TITLE = {Partial Symmetry Breaking},
  BOOKTITLE = {Constraint Programming, CP'02},
  CROSSREF = {CP:2002},
  EDITOR = {},
  PAGES = {},
  PUBLISHER = {},
  ORGANIZATION = {},
  ADDRESS = {},
  MONTH = {},
  NOTE = {},
  KEY = {}
}


@PROCEEDINGS{ECAI:2000,
  TITLE = {European Conference on Artificial Intelligence 14},
  YEAR = {2000},
  EDITOR = {Werner Horn},
  PUBLISHER = {IOS press},
  ORGANIZATION = {ECCAI and German infortics society},
  ADDRESS = {Berlin, Allemagne},
  MONTH = {24 et 25 Juillet},
  NOTE = {},
  KEY = {}
}


@PROCEEDINGS{ICLP01w:symcon01,
  TITLE = {Workshop proceedings: Symmetry in Constraints 2001, in CP'01},
  YEAR = {2001},
  EDITOR = {Pierre Flener and Justin Pearson},
  PUBLISHER = {},
  ORGANIZATION = {},
  ADDRESS = {Chypre},
  MONTH = {december}
}


@PROCEEDINGS{CP:2002,
  TITLE = {CP 2002},
  YEAR = {2002},
  EDITOR = {},
  PUBLISHER = {},
  ORGANIZATION = {},
  ADDRESS = {},
  MONTH = {},
  NOTE = {},
  KEY = {}
}


@UNPUBLISHED{pear:defsbds,
  AUTHOR = {Justin Pearson},
  TITLE = {Reducing the number of constraints in symmetry breaking during search},
  NOTE = {},
  MONTH = {},
  YEAR = {2002},
  KEY = {}
}


@BOOK{butler:group,
  AUTHOR = {Greg Butler},
  TITLE = {Fundamental Algorithms for Permutation Groups},
  YEAR = {1991},
  PUBLISHER = {LNCS 559, Springer-Verlag}
}


This file has been generated by bibtex2html 1.56