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