diplomref.bib

@INPROCEEDINGS{DBLP:conf/alp/Benhamou96,
  AUTHOR = {Fr{\'e}d{\'e}ric Benhamou},
  TITLE = {Heterogeneous Constraint Solving.},
  BOOKTITLE = {ALP},
  YEAR = {1996},
  PAGES = {62-76},
  BIBSOURCE = {DBLP, http://dblp.uni-trier.de},
  CROSSREF = {DBLP:conf/alp/1996},
  PDF = {http://www.sciences.univ-nantes.fr/info/perso/permanents/benhamou/PAPERS/Ben_ALP96.pdf},
  URL = {http://www.sciences.univ-nantes.fr/info/perso/permanents/benhamou/}
}

@INPROCEEDINGS{DBLP:journals/lncs/Benhamou94,
  AUTHOR = {Fr{\'e}d{\'e}ric Benhamou},
  TITLE = {Interval Constraint Logic Programming},
  BOOKTITLE = {Constraint Programming},
  YEAR = {1994},
  PAGES = {1-21},
  BIBSOURCE = {DBLP, http://dblp.uni-trier.de},
  CROSSREF = {DBLP:journals/lncs/1994-910},
  PDF = {http://www.sciences.univ-nantes.fr/info/perso/permanents/benhamou/PAPERS/Ben_Chatillon95.pdf},
  URL = {http://www.sciences.univ-nantes.fr/info/perso/permanents/benhamou/}
}

@INPROCEEDINGS{DBLP:conf/aaai/GervetH06,
  AUTHOR = {Carmen Gervet and Pascal Van Hentenryck},
  TITLE = {Length-Lex Ordering for Set CSPs.},
  BOOKTITLE = {AAAI},
  YEAR = {2006},
  BIBSOURCE = {DBLP, http://dblp.uni-trier.de},
  CROSSREF = {DBLP:conf/aaai/2006}
}

@INPROCEEDINGS{DBLP:conf/ausai/HawkinsLS04,
  AUTHOR = {Peter Hawkins and Vitaly Lagoon and Peter J. Stuckey},
  TITLE = {Set Bounds and (Split) Set Domain Propagation Using {ROBDDs}.},
  BOOKTITLE = {Australian Conference on Artificial Intelligence},
  YEAR = {2004},
  PAGES = {706-717},
  BIBSOURCE = {DBLP, http://dblp.uni-trier.de},
  CROSSREF = {DBLP:conf/ausai/2004},
  EE = {http://springerlink.metapress.com/openurl.asp?genre=article{\&}issn=0302-9743{\&}volume=3339{\&}spage=706}
}

@INPROCEEDINGS{DBLP:conf/padl/HawkinsS06,
  AUTHOR = {Peter Hawkins and Peter J. Stuckey},
  TITLE = {A Hybrid BDD and SAT Finite Domain Constraint Solver.},
  BOOKTITLE = {PADL},
  YEAR = {2006},
  PAGES = {103-117},
  BIBSOURCE = {DBLP, http://dblp.uni-trier.de},
  CROSSREF = {DBLP:conf/padl/2006},
  EE = {http://dx.doi.org/10.1007/11603023_8}
}

@INPROCEEDINGS{ChocoLaburthe,
  AUTHOR = {F. Laburthe},
  TITLE = {CHOCO: Implementing a {CP} kernel},
  BOOKTITLE = {TRICS},
  YEAR = {2000},
  PAGES = {71-85},
  CROSSREF = {TRICS00}
}

@INPROCEEDINGS{DBLP:conf/cp/LagoonS04,
  AUTHOR = {Vitaly Lagoon and Peter J. Stuckey},
  TITLE = {Set Domain Propagation Using {ROBDDs}.},
  BOOKTITLE = {CP},
  YEAR = {2004},
  PAGES = {347-361},
  BIBSOURCE = {DBLP, http://dblp.uni-trier.de},
  CROSSREF = {DBLP:conf/cp/2004},
  EE = {http://springerlink.metapress.com/openurl.asp?genre=article{\&}issn=0302-9743{\&}volume=3258{\&}spage=347}
}

@INPROCEEDINGS{DBLP:conf/cp/SadlerG04,
  AUTHOR = {Andrew Sadler and Carmen Gervet},
  TITLE = {Hybrid Set Domains to Strengthen Constraint Propagation and Reduce
	Symmetries.},
  BOOKTITLE = {CP},
  YEAR = {2004},
  PAGES = {604-618},
  BIBSOURCE = {DBLP, http://dblp.uni-trier.de},
  CROSSREF = {DBLP:conf/cp/2004},
  EE = {http://springerlink.metapress.com/openurl.asp?genre=article{\&}issn=0302-9743{\&}volume=3258{\&}spage=604}
}

@BOOKLET{CP05no1,
  TITLE = {Constraint Programming},
  COURSE = {Constraint Programming},
  CROSSREF = {IDLCPSS05},
  INSTITUTION = {Saarland University},
  LECTURENO = {1}
}

@BOOK{Restaurant,
  TITLE = {The Restaurant at the End of the Universe (Hitch Hiker's Guide to
	the Galaxy)},
  PUBLISHER = {Pan Macmillan},
  YEAR = {2001},
  AUTHOR = {Douglas Adams}
}

@INPROCEEDINGS{aiken93complexity,
  AUTHOR = {Alexander Aiken and Dexter Kozen and Moshe Y. Vardi and Edward L.
	Wimmers},
  TITLE = {The Complexity of Set Constraints},
  BOOKTITLE = {{Conference on Computer Science Logic}},
  YEAR = {1993},
  PAGES = {1-17},
  URL = {citeseer.ist.psu.edu/aiken93complexity.html}
}

@INPROCEEDINGS{AptRough,
  AUTHOR = {Krzysztof R. Apt},
  TITLE = {The Rough Guide to Constraint Propagation},
  BOOKTITLE = {CP '99: Proceedings of the 5th International Conference on Principles
	and Practice of Constraint Programming},
  YEAR = {1999},
  PAGES = {1--23},
  PUBLISHER = {Springer-Verlag},
  ISBN = {3-540-66626-5}
}

@ARTICLE{DBLP:journals/constraints/Azevedo07,
  AUTHOR = {Francisco Azevedo},
  TITLE = {Cardinal: a Finite Sets Constraint Solver},
  JOURNAL = {Constraints},
  YEAR = {2007},
  VOLUME = {12},
  PAGES = {n.n.},
  NUMBER = {1},
  BIBSOURCE = {DBLP, http://dblp.uni-trier.de}
}

@MISC{Azevedo2000,
  AUTHOR = {Francisco Azevedo and Pedro Barahona},
  TITLE = {Applications of an Extended Set Constraint Solver},
  YEAR = {2000},
  CITESEERCITATIONCOUNT = {0},
  CITESEERURL = {http://citeseer.ist.psu.edu/413894.html},
  OWNER = {Venator},
  TIMESTAMP = {2006.03.03}
}

@INPROCEEDINGS{bachmair93set,
  AUTHOR = {Leo Bachmair and Harald Ganzinger and Uwe Waldmann},
  TITLE = {Set Constraints are the Monadic Class},
  BOOKTITLE = {Logic in Computer Science},
  YEAR = {1993},
  PAGES = {75-83},
  OWNER = {Venator},
  TIMESTAMP = {2006.12.28},
  URL = {citeseer.ist.psu.edu/bachmair92set.html}
}

@TECHREPORT{TRICS00,
  AUTHOR = {N. Beldiceanu and W. Harvey and M. Henz and F. Laburthe and E. Monfroyand
	T. Muller and L. Perron and C. Schulte},
  TITLE = {TRICS 2000},
  INSTITUTION = {School of Computing, National University of Singapore},
  YEAR = {2000},
  MONTH = {September}
}

@BOOK{Birkh1984,
  TITLE = {Lattice theory},
  PUBLISHER = {American Mathematical Society},
  YEAR = {1984},
  AUTHOR = {Birkhoff, Garrett D.},
  VOLUME = {25},
  SERIES = {American Mathematical Society : colloquium publication series}
}

@ARTICLE{Bryant92,
  AUTHOR = {Randal E. Bryant},
  TITLE = {Symbolic Boolean Manipulation with Ordered Binary-Decision Diagrams.},
  JOURNAL = {ACM Comput. Surv.},
  YEAR = {1992},
  VOLUME = {24},
  PAGES = {293-318},
  NUMBER = {3},
  BIBSOURCE = {DBLP, http://dblp.uni-trier.de}
}

@BOOK{introlatt02,
  TITLE = {Introduction to Lattices and Order},
  PUBLISHER = {Cambridge University Press},
  YEAR = {2002},
  AUTHOR = {B. A. Davey and H. A. Priestley},
  ISBN = {0521784514}
}

@INPROCEEDINGS{FrischJeff,
  AUTHOR = {Alan M. Frisch and Christopher Jefferson},
  TITLE = {Representations of Sets and Multisets in Constraint Programming},
  BOOKTITLE = {Proceedings of the 4th International Workshop on Modelling and Reformulating
	Constraint Satisfaction Problems},
  YEAR = {2005},
  PAGES = {102-116},
  PDF = {http://4c.ucc.ie/~brahim/mod-proc.pdf},
  URL = {http://homes.ieu.edu.tr/~bhnich/cp05ws/index.html#proc}
}

@INPROCEEDINGS{frischsym,
  AUTHOR = {Alan M. Frisch and Chris Jefferson and Bernadette Martinez-Hernandez
	and Ian Miguel},
  TITLE = {Symmetry in the Generation of Constraint Models},
  BOOKTITLE = {Proceedings of the ?th International Symmetry Conference},
  YEAR = {2007},
  PDF = {http://www.cs.york.ac.uk/aig/constraints/AutoModel/ISC07Conjure.pdf},
  URL = {http://isc.dcs.st-and.ac.uk/index.php}
}

@TECHREPORT{csplib,
  AUTHOR = {I.P. Gent and T. Walsh},
  TITLE = {CSPLib: a benchmark library for constraints},
  INSTITUTION = {Technical report APES-09-1999},
  YEAR = {1999},
  NOTE = {Available from http://csplib.cs.strath.ac.uk/. A shorter version
	appears in the Proceedings of the 5th International Conference on
	Principles and Practices of Constraint Programming (CP-99).}
}

@INPROCEEDINGS{gervet94conjunto,
  AUTHOR = {Carmen Gervet},
  TITLE = {Conjunto: constraint logic programming with finite set domains},
  BOOKTITLE = {Logic Programming - Proceedings of the 1994 International Symposium},
  YEAR = {1994},
  EDITOR = {Maurice Bruynooghe},
  PAGES = {339--358},
  ADDRESS = {Massachusetts Institute of Technology},
  PUBLISHER = {The MIT Press},
  CITESEERURL = {citeseer.ist.psu.edu/gervet94conjunto.html},
  PDF = {http://citeseer.ist.psu.edu/rd/14736376%2C90002%2C1%2C0.25%2CDownload/http://citeseer.ist.psu.edu/cache/papers/cs/226/http:zSzzSzwww-icparc.doc.ic.ac.ukzSzpaperszSzconjunto:_constraint_logic_programming_w.pdf/gervet94conjunto.pdf},
  URL = {citeseer.ist.psu.edu/gervet94conjunto.html}
}

@INBOOK{Gervet2006,
  CHAPTER = {17},
  PAGES = {603-636},
  TITLE = {Constraints over {S}tructured {D}omains},
  PUBLISHER = {Elsevier Science Publishers},
  YEAR = {2006},
  AUTHOR = {Carmen Gervet},
  BOOKTITLE = {Handbook of Constraint Programming}
}

@ARTICLE{DBLP:journals/constraints/Gervet97,
  AUTHOR = {Carmen Gervet},
  TITLE = {Interval Propagation to Reason about Sets: Definition and Implementation
	of a Practical Language.},
  JOURNAL = {Constraints},
  YEAR = {1997},
  VOLUME = {1},
  PAGES = {191-244},
  NUMBER = {3},
  BIBSOURCE = {DBLP, http://dblp.uni-trier.de}
}

@PHDTHESIS{GervetDiss,
  AUTHOR = {Carmen Gervet},
  TITLE = {Set Intervals in Constraint Logic Programming},
  SCHOOL = {L'Universit{\'e} de Franche-Comt{\'e}},
  YEAR = {1995},
  URL = {http://www.icparc.ic.ac.uk/~cg6/}
}

@BOOK{Gierz1980,
  TITLE = {A compendium of continuous lattices},
  PUBLISHER = {Springer},
  YEAR = {1980},
  AUTHOR = {Gierz, Gerhard and Hofmann, Karl Heinrich and Keimel, Klaus and Lawson,
	Jimmie D. and Mislove, Michael W. and Scott, Dana S.},
  ADDRESS = {Berlin - Heidelberg - New York}
}

@BOOK{birk98latt,
  TITLE = {General Lattice Theory},
  PUBLISHER = {Birkhauser},
  YEAR = {1998},
  AUTHOR = {George A. Gratzer},
  ISBN = {0817652396}
}

@ARTICLE{HawkinsLagoonStuckeyROBDDs,
  AUTHOR = {P.J. Hawkins and V. Lagoon and P.J. Stuckey},
  TITLE = {Solving Set Constraint Satisfaction Problems using {ROBDDs}},
  JOURNAL = {J. Artif. Intell. Res. (JAIR)},
  YEAR = {2005},
  VOLUME = {24},
  PAGES = {109-156}
}

@INPROCEEDINGS{heintze94set,
  AUTHOR = {Nevin Heintze and Joxan Jaffar},
  TITLE = {Set Constraints and Set-Based Analysis},
  BOOKTITLE = {Principles and Practice of Constraint Programming},
  YEAR = {1994},
  PAGES = {281--298},
  URL = {citeseer.ist.psu.edu/heintze94set.html}
}

@BOOK{huth00logic,
  TITLE = {Logic in Computer Science: Modelling and Reasoning about Systems},
  PUBLISHER = {Cambridge University Press},
  YEAR = {2000},
  AUTHOR = {Michael R. A. Huth and Mark D. Ryan},
  ADDRESS = {Cambridge, England},
  ISBN = {Hardback: ISBN 0521652006, Paperback: ISBN 0521656028.},
  URL = {citeseer.ist.psu.edu/huth99logic.html}
}

@MISC{BeasleyORLib,
  AUTHOR = {{{J. E. Beasley}}},
  TITLE = {{OR}-Library},
  HOWPUBLISHED = {Webpage},
  YEAR = {2006},
  URL = {http://people.brunel.ac.uk/\~{}mastjjb/jeb/info.html}
}

@BOOKLET{IDLCPSS05,
  TITLE = {Indepth-lecture Constraint Programming},
  AUTHOR = {Kuhlmann, Marco and Tack, Guido},
  HOWPUBLISHED = {online},
  LASTCHECKED = {\today},
  ADDRESS = {http://www.ps.uni-sb.de/courses/cp-ss05/},
  MONTH = {CHECK},
  YEAR = {2005},
  ABSTRACT = {Used a lot for the basic definitions of constraint programming.
	
	A perfect setup for those terminology issues.},
  COURSE = {Constraint Programming},
  INSTITUTION = {Saarland University},
  LECTURENO = {4},
  OWNER = {pekman},
  TIMESTAMP = {2006.11.23},
  URL = {http://www.ps.uni-sb.de/courses/cp-ss05/}
}

@INPROCEEDINGS{MuellerMueller:97a,
  AUTHOR = {Tobias M{\"u}ller and Martin M{\"u}ller},
  TITLE = {Finite Set Constraints in {Oz}},
  BOOKTITLE = {13. Workshop Logische Programmierung},
  YEAR = {1997},
  EDITOR = {Fran\c{c}ois Bry and Burkhard Freitag and Dietmar Seipel},
  PAGES = {104--115},
  ADDRESS = {Technische Universit{\"a}t M{\"u}nchen},
  MONTH = {17--19 } # SEP,
  ABSTRACT = {We report on the extension of the concurrent constraint language Oz
	by constraints over finite sets of integers. Set constraints are
	an important addition to the constraint programming system Oz and
	are very employable in natural language processing and general problem
	solving. This extension profits much from its integration with the
	existing constraint systems over finite domains and feature trees,
	as well as from the availability of first-class procedures. This
	combination of features is unique to Oz. This paper focuses on the
	expressiveness gained by set constraints and on the benefits of
	the integration with finite domain constraints. A number of case
	studies demonstrates programming techniques exploring these advantages.},
  LABEL = {TMMM97a},
  PROJECT-KEY = {C1},
  SLINE = {4200}
}

@INPROCEEDINGS{pacholski97set,
  AUTHOR = {Leszek Pacholski and Andreas Podelski},
  TITLE = {Set Constraints: A Pearl in Research on Constraints},
  BOOKTITLE = {Principles and Practice of Constraint Programming},
  YEAR = {1997},
  PAGES = {549-562},
  URL = {citeseer.ist.psu.edu/pacholski97set.html}
}

@INPROCEEDINGS{Puget96FS,
  AUTHOR = {Jean-Francois Puget},
  TITLE = {Finite Set Intervals.},
  BOOKTITLE = {In Proceedings of the Second International Workshop on Set Constraints,
	Cambridge, Massachusetts},
  YEAR = {1996},
  OWNER = {pekman},
  TIMESTAMP = {2006.10.02}
}

@INPROCEEDINGS{Puget92Pecos,
  AUTHOR = {Jean-Francois Puget},
  TITLE = {PECOS A High Level Constraint programming Language},
  BOOKTITLE = {Singapore International Conference on Intelligent Systems (SPICIS)},
  YEAR = {1992},
  MONTH = {September},
  OWNER = {pekman},
  TIMESTAMP = {2006.10.02}
}

@PHDTHESIS{Schulte:PHD:2000,
  AUTHOR = {Christian Schulte},
  TITLE = {Programming Constraint Services},
  SCHOOL = {Universit{\"a}t des Saarlandes, Naturwissenschaftlich-Technische
	Fakult{\"a}t I, Fachrichtung Informatik},
  YEAR = {2000},
  TYPE = {Doctoral dissertation},
  ADDRESS = {Saarbr{\"u}cken, Germany},
  LABEL = {ProgrammingConstraintServices},
  PROJECT-KEY = {C1},
  SLINE = {1081}
}

@PHDTHESIS{FopraPek2006,
  AUTHOR = {Patrick Pekczynski},
  TITLE = {Implementation and {E}valuation of {A}dvanced {P}ropagation {A}lgorithms for {G}lobal {C}onstraints},
  SCHOOL = {Saarland University , Faculty of Natural Sciences and Technology I, Department of Computer Science},
  YEAR = {2006},
  TYPE = {FoPra thesis ({F}ortgeschrittenen-{P}raktikum},
  ADDRESS = {Saarbr{\"u}cken, Germany},
  LABEL = {Global Constrains},
  URL = {http://www.ps.uni-sb.de/theses/pekczynski/fopra/fopra.html}
}

@INBOOK{SchulteCarlsson2006,
  CHAPTER = {14},
  PAGES = {495--526},
  TITLE = {Finite Domain Constraint Programming Systems},
  PUBLISHER = {Elsevier Science Publishers},
  YEAR = {2006},
  AUTHOR = {Christian Schulte and Mats Carlsson},
  BOOKTITLE = {Handbook of Constraint Programming}
}

@INPROCEEDINGS{SchulteStuckey:CP:2004,
  AUTHOR = {Christian Schulte and Peter J. Stuckey},
  TITLE = {Speeding Up Constraint Propagation},
  BOOKTITLE = {Tenth International Conference on Principles and Practice of Constraint
	Programming},
  YEAR = {2004},
  EDITOR = {Mark Wallace},
  VOLUME = {3258},
  SERIES = {Lecture Notes in Computer Science},
  PAGES = {619--633},
  ADDRESS = {Toronto, Canada},
  MONTH = SEP,
  PUBLISHER = {Springer-Verlag},
  URL = {http://web.it.kth.se/~schulte/paper.html?id=SchulteStuckey:CP:2004}
}

@ARTICLE{SchulteStuckey:TOPLAS:2005,
  AUTHOR = {Christian Schulte and Peter J. Stuckey},
  TITLE = {When Do Bounds and Domain Propagation Lead to the Same Search Space?},
  JOURNAL = {Transactions on Programming Languages and Systems},
  YEAR = {2005},
  VOLUME = {27},
  PAGES = {388--425},
  NUMBER = {3},
  MONTH = MAY,
  OWNER = {Venator},
  PDF = {http://web.it.kth.se/~schulte/papers/SchulteStuckey_TOPLAS_2005.pdf},
  PUBLISHER = {ACM Press},
  TIMESTAMP = {2007.01.16},
  URL = {paper.html?id=SchulteStuckey:TOPLAS:2005}
}

@INPROCEEDINGS{ViewsIteratorsSchulteTack2006,
  AUTHOR = {Christian Schulte and Guido Tack},
  TITLE = {Views and Iterators for Generic Constraint Implementations},
  BOOKTITLE = {Recent Advances in Constraints, 2005},
  YEAR = {2006},
  EDITOR = {Mats Carlsson and Francois Fages and Brahim Hnich and Francesca Rossi},
  VOLUME = {3978},
  SERIES = {Lecture Notes in Computer Science},
  PAGES = {118--132},
  PUBLISHER = {Springer},
  LABEL = {views2006},
  PDF = {http://www.ps.uni-sb.de/Papers/abstracts/views2006.pdf},
  URL = {http://www.ps.uni-sb.de/Papers/paper_info.php?label=views2006}
}

@INPROCEEDINGS{sudosim,
  AUTHOR = {Helmut Simonis},
  TITLE = {Sudoku as a Constraint Problem},
  BOOKTITLE = {Proc. 4th Int. Works. Modelling and Reformulating Constraint Satisfaction
	Problems},
  YEAR = {2005},
  EDITOR = {Brahim Hnich and Patrick Prosser and Barbara Smith},
  PAGES = {13-27},
  PDF = {http://4c.ucc.ie/~brahim/mod-proc.pdf},
  URL = {http://homes.ieu.edu.tr/~bhnich/cp05ws/}
}

@INPROCEEDINGS{TackSchulteSmolkaGeneratingFSPropagators2006,
  AUTHOR = {Guido Tack and Christian Schulte and Gert Smolka},
  TITLE = {Generating Propagators for Finite Set Constraints},
  BOOKTITLE = {{12th International Conference on Principles and Practice of Constraint
	Programming}},
  YEAR = {2006},
  EDITOR = {Fr\'{e}deric Benhamou},
  VOLUME = {4204},
  SERIES = {Lecture Notes in Computer Science},
  PAGES = {575--589},
  PUBLISHER = {Springer},
  ABSTRACT = {Ideally, programming propagators as implementations of constraints
	should be an entirely declarative specification process for a large
	class of constraints: a high-level declarative specification is
	automatically translated into an efficient propagator. This paper
	introduces the use of existential monadic second-order logic as
	declarative specification language for finite set propagators. The
	approach taken in the paper is to automatically derive projection
	propagators (involving a single variable only) implementing constraints
	described by formulas. By this, the paper transfers the ideas of
	indexicals to finite set constraints while considerably increasing
	the level of abstraction available with indexicals. The paper proves
	soundness and completeness of the derived propagators and presents
	a runtime analysis, including techniques for efficiently executing
	projectors for n-ary constraints.},
  LABEL = {generating_fs_propagators},
  PDF = {http://www.ps.uni-sb.de/Papers/abstracts/views2006.pdf},
  URL = {http://www.ps.uni-sb.de/Papers/paper_info.php?label=views2006}
}

@ARTICLE{TarskiFix55,
  AUTHOR = {A. Tarski},
  TITLE = {A lattice theoretical fixpoint theorem and its applications},
  JOURNAL = {Pacific J. of Mathematics},
  YEAR = {1955},
  VOLUME = {5},
  PAGES = {285--309}
}

@MISC{GecodeWebsite,
  AUTHOR = {{{The Gecode team}}},
  TITLE = {Generic constraint development environment},
  HOWPUBLISHED = {Available from \url{http://www.gecode.org}},
  YEAR = {2006},
  URL = {http://www.gecode.org}
}

@MISC{MozartSystem,
  AUTHOR = {{{The Mozart Consortium}}},
  TITLE = {The {M}ozart programming system},
  HOWPUBLISHED = {\url{http://www.mozart-oz.org}},
  YEAR = {2006},
  KEY = {Mozart}
}

@MISC{AliceWebsite,
  AUTHOR = {{{The {A}lice team}}},
  TITLE = {The {A}lice system},
  HOWPUBLISHED = {Available from \url{http://www.ps.uni-sb.de/alice/index.html}},
  YEAR = {2006},
  URL = {http://www.ps.uni-sb.de/alice/index.html}
}

@MISC{buddy,
  AUTHOR = {J\orn Lind-Nielsen},
  TITLE = {BuDDy - A Binary Decision Diagram Package},
  HOWPUBLISHED = {Available from \url{http://buddy.sourceforge.net}},
  YEAR = {1996},
  URL = {http://buddy.sourceforge.net}
}

@INPROCEEDINGS{thornary-hybrid,
  AUTHOR = {Vincent Thornary and J{\'e}r{\^o}me Gensel},
  TITLE = {An Hybrid Representation for Set Constraint Satisfaction Problems},
  BOOKTITLE = {Set Constraints and Constraint-based Program Analysis},
  YEAR = {1998},
  EDITOR = {Andreas Podelski},
  MONTH = {October},
  URL = {citeseer.ist.psu.edu/83134.html}
}

@TECHREPORT{wallace97eclipse,
  AUTHOR = {M. Wallace and S. Novello and J. Schimpf},
  TITLE = {ECLiPSe: A Platform for Constraint Logic Programming},
  INSTITUTION = {IC Parc, Imperial College, London},
  YEAR = {1997},
  TEXT = {M. Wallace, St. Novello, and J. Schimpf. ECLiPSe: A Platform for ConstraintLogic
	Programming. Technical report, IC-Parc, Imperial College, London,1997.}
}

@PROCEEDINGS{beyondfd,
  TITLE = {Constraint Programming: Beyond Finite Integer Domains (BeyondFD 2005)
	Sitges, Spain,},
  YEAR = {2005},
  EDITOR = {Francisco Azevedo and Carmen Gervet and Enrico Pontelli},
  ADDRESS = {Sitges (Spain)},
  MONTH = {October},
  BIBSOURCE = {DBLP, http://dblp.uni-trier.de},
  BOOKTITLE = {Constraint Programming},
  ISBN = {3-540-59155-9},
  OWNER = {Venator},
  TIMESTAMP = {2007.01.25}
}

@PROCEEDINGS{DBLP:conf/alp/1996,
  TITLE = {Algebraic and Logic Programming, 5th International Conference, ALP'96,
	Aachen, Germany, September 25-27, 1996, Proceedings},
  YEAR = {1996},
  EDITOR = {Michael Hanus and Mario Rodr\'{\i}guez-Artalejo},
  VOLUME = {1139},
  SERIES = {Lecture Notes in Computer Science},
  PUBLISHER = {Springer},
  BIBSOURCE = {DBLP, http://dblp.uni-trier.de},
  BOOKTITLE = {ALP},
  ISBN = {3-540-61735-3}
}

@PROCEEDINGS{DBLP:conf/padl/2006,
  TITLE = {Practical Aspects of Declarative Languages, 8th International Symposium,
	PADL 2006, Charleston, SC, USA, January 9-10, 2006, Proceedings},
  YEAR = {2006},
  EDITOR = {Pascal Van Hentenryck},
  VOLUME = {3819},
  SERIES = {Lecture Notes in Computer Science},
  PUBLISHER = {Springer},
  BIBSOURCE = {DBLP, http://dblp.uni-trier.de},
  BOOKTITLE = {PADL},
  ISBN = {3-540-30947-0}
}

@PROCEEDINGS{DBLP:journals/lncs/1994-910,
  TITLE = {Constraint Programming: Basics and Trends, Ch{\^a}tillon Spring School,
	Ch{\^a}tillon-sur-Seine, France, May 16 - 20, 1994, Selected Papers},
  YEAR = {1995},
  EDITOR = {Andreas Podelski},
  VOLUME = {910},
  SERIES = {Lecture Notes in Computer Science},
  PUBLISHER = {Springer},
  BIBSOURCE = {DBLP, http://dblp.uni-trier.de},
  BOOKTITLE = {Constraint Programming},
  ISBN = {3-540-59155-9}
}

@BOOK{HBCP06,
  TITLE = {Handbook of Constraint Programming},
  PUBLISHER = {Elsevier Science Publishers},
  YEAR = {2006},
  EDITOR = {Francesca Rossi and Peter {van Beek} and Toby Walsh},
  SERIES = {Foundations of Artificial Intelligence},
  ADDRESS = {Amsterdam, The Netherlands}
}

@PROCEEDINGS{DBLP:conf/cp/2004,
  TITLE = {Principles and Practice of Constraint Programming - CP 2004, 10th
	International Conference, CP 2004, Toronto, Canada, September 27
	- October 1, 2004, Proceedings},
  YEAR = {2004},
  EDITOR = {Mark Wallace},
  VOLUME = {3258},
  SERIES = {Lecture Notes in Computer Science},
  PUBLISHER = {Springer},
  BIBSOURCE = {DBLP, http://dblp.uni-trier.de},
  BOOKTITLE = {CP},
  ISBN = {3-540-23241-9}
}

@PROCEEDINGS{DBLP:conf/ausai/2004,
  TITLE = {AI 2004: Advances in Artificial Intelligence, 17th Australian Joint
	Conference on Artificial Intelligence, Cairns, Australia, December
	4-6, 2004, Proceedings},
  YEAR = {2004},
  EDITOR = {Geoffrey I. Webb and Xinghuo Yu},
  VOLUME = {3339},
  SERIES = {Lecture Notes in Computer Science},
  PUBLISHER = {Springer},
  BIBSOURCE = {DBLP, http://dblp.uni-trier.de},
  BOOKTITLE = {Australian Conference on Artificial Intelligence},
  ISBN = {3-540-24059-4}
}

@BOOKLET{CP05no3,
  TITLE = {Constraint Satisfaction Problems},
  ABSTRACT = {Used a lot for the basic definitions of constraint programming. A
	perfect setup for those terminology issues.},
  COURSE = {Constraint Programming},
  INSTITUTION = {Saarland University},
  LECTURENO = {3},
  PAGES = {1-3}
}

@BOOKLET{CP05no4,
  TITLE = {Propagators},
  ABSTRACT = {Used a lot for the basic definitions of constraint programming. A
	perfect setup for those terminology issues.},
  COURSE = {Constraint Programming},
  INSTITUTION = {Saarland University},
  LECTURENO = {4}
}

@MANUAL{ozsettut,
  TITLE = {Problem Solving with Finite Set Constraints in {Oz}. A Tutorial.},
  ORGANIZATION = {Mozart},
  ADDRESS = {tbd},
  YEAR = {tbd}
}

@PROCEEDINGS{DBLP:conf/aaai/2006,
  TITLE = {Proceedings, The Twenty-First National Conference on Artificial Intelligence
	and the Eighteenth Innovative Applications of Artificial Intelligence
	Conference, July 16-20, 2006, Boston, Massachusetts, USA},
  YEAR = {2006},
  PUBLISHER = {AAAI Press},
  BIBSOURCE = {DBLP, http://dblp.uni-trier.de},
  BOOKTITLE = {AAAI}
}

@MANUAL{IlogReference,
  TITLE = {{ILOG} {S}olver 5.0 reference Manual},
  ORGANIZATION = {{ILOG Inc.}},
  ADDRESS = {{Mountain View, CA, USA}},
  YEAR = {2000}
}

@MISC{barnier02solving,
  AUTHOR = {N. Barnier and P. Brisset},
  TITLE = {Solving the Kirkman's schoolgirl problem in a few seconds},
  TEXT = {N. Barnier and P. Brisset. Solving the Kirkman's schoolgirl problem in
    a few seconds. In CP'2002.},
  YEAR = {2002},
  URL = {citeseer.ist.psu.edu/barnier02solving.html}
}


This file has been generated by bibtex2html 1.79