@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-saarland.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-saarland.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-saarland.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-saarland.de/Papers/abstracts/views2006.pdf},
URL = {http://www.ps.uni-saarland.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-saarland.de/Papers/abstracts/views2006.pdf},
URL = {http://www.ps.uni-saarland.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-saarland.de/alice/index.html}},
YEAR = {2006},
URL = {http://www.ps.uni-saarland.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