% The book

@BOOK{wscp/book,
  editor    = {Fr{\'e}d{\'e}ric Benhamou and Narendra Jussien and Barry O'Sullivan},
  title     = {Trends in Constraint Programming},
  publisher = {ISTE},
  year      = {2007},
  month     = may,
  isbn      = 9781905209972,
  address   = {London, UK},
}

% The parts

@InCollection{wscp/part1,
  author    = {Fr{\'e}d{\'e}ric Benhamou and Narendra Jussien and Barry O'Sullivan},
  title     = {The Past, Present and Future of Constraint Programming},
  chapter   = {1},
  type      = {Part},
  pages     = {23--146},
  editor    = {Fr{\'e}d{\'e}ric Benhamou and Narendra Jussien and Barry O'Sullivan},
  booktitle = {Trends in Constraint Programming},
  publisher = {ISTE},
  year      = {2007},
  month     = may,
  isbn      = 9781905209972,
  address   = {London, UK},
}

@InCollection{wscp/part2,
  author    = {Ian Miguel and Steven Prestwich},
  title     = {Constraint Modeling and Reformulation},
  chapter   = {2},
  type      = {Part},
  pages     = {147--181},
  editor    = {Fr{\'e}d{\'e}ric Benhamou and Narendra Jussien and Barry O'Sullivan},
  booktitle = {Trends in Constraint Programming},
  publisher = {ISTE},
  year      = {2007},
  month     = may,
  isbn      = 9781905209972,
  address   = {London, UK},
}

@InCollection{wscp/part3,
  author    = {Alastair Donaldson and Peter Gregory and Karen Petrie},
  title     = {Symmetry in Constraint Satisfaction Problems},
  chapter   = {3},
  type      = {Part},
  pages     = {183--218},
  editor    = {Fr{\'e}d{\'e}ric Benhamou and Narendra Jussien and Barry O'Sullivan},
  booktitle = {Trends in Constraint Programming},
  publisher = {ISTE},
  year      = {2007},
  month     = may,
  isbn      = 9781905209972,
  address   = {London, UK},
}

@InCollection{wscp/part4,
  author    = {Christophe Jermann and Yahia Lebbah and Djamila Sam-Haroud},
  title     = {Interval Analysis, Constraint Propagation and Applications},
  chapter   = {4},
  type      = {Part},
  pages     = {219--255},
  editor    = {Fr{\'e}d{\'e}ric Benhamou and Narendra Jussien and Barry O'Sullivan},
  booktitle = {Trends in Constraint Programming},
  publisher = {ISTE},
  year      = {2007},
  month     = may,
  isbn      = 9781905209972,
  address   = {London, UK},
}

@InCollection{wscp/part5,
  author    = {Andrea Roli and Yehuda Naveh},
  title     = {Local Search Techniques in Constraint Satisfaction},
  chapter   = {5},
  type      = {Part},
  pages     = {257--297},
  editor    = {Fr{\'e}d{\'e}ric Benhamou and Narendra Jussien and Barry O'Sullivan},
  booktitle = {Trends in Constraint Programming},
  publisher = {ISTE},
  year      = {2007},
  month     = may,
  isbn      = 9781905209972,
  address   = {London, UK},
}

@InCollection{wscp/part6,
  author    = {Thomas Schiex},
  title     = {Preferences and Soft Constraints},
  chapter   = {6},
  type      = {Part},
  pages     = {299--332},
  editor    = {Fr{\'e}d{\'e}ric Benhamou and Narendra Jussien and Barry O'Sullivan},
  booktitle = {Trends in Constraint Programming},
  publisher = {ISTE},
  year      = {2007},
  month     = may,
  isbn      = 9781905209972,
  address   = {London, UK},
}

@InCollection{wscp/part7,
  author    = {Benjamin Blanc, Arnaud Gotlieb and Claude Michel},
  title     = {Constraints in Software Testing, Verification and Analysis},
  chapter   = {7},
  type      = {Part},
  pages     = {333--368},
  editor    = {Fr{\'e}d{\'e}ric Benhamou and Narendra Jussien and Barry O'Sullivan},
  booktitle = {Trends in Constraint Programming},
  publisher = {ISTE},
  year      = {2007},
  month     = may,
  isbn      = 9781905209972,
  address   = {London, UK},
}


@InCollection{wscp/part8,
  author    = {Marc Christie and Hiroshi Hosobe and Kim Marriott},
  title     = {Constraint Programming for Graphical Applications},
  chapter   = {8},
  type      = {Part},
  pages     = {369--404},
  editor    = {Fr{\'e}d{\'e}ric Benhamou and Narendra Jussien and Barry O'Sullivan},
  booktitle = {Trends in Constraint Programming},
  publisher = {ISTE},
  year      = {2007},
  month     = may,
  isbn      = 9781905209972,
  address   = {London, UK},
}


% The chapters

@InCollection{wscp/chap1/vanhentenryck,
  author    = {Pascal {Van Hentenryck}},
  title     = {Constraint Programming as Declarative Algorithmics},
  chapter   = {1},
  pages     = {25--39},
  editor    = {Fr{\'e}d{\'e}ric Benhamou and Narendra Jussien and Barry O'Sullivan},
  booktitle = {Trends in Constraint Programming},
  publisher = {ISTE},
  year      = {2007},
  month     = may,
  isbn      = 9781905209972,
  address   = {London, UK},
}

@InCollection{wscp/chap2/cptools,
  author    = {Laurent Michel and Christian Schulte and Pascal {Van Hentenryck}},
  title     = {Constraint Programming Tools},
  chapter   = {2},
  pages     = {41--57},
  editor    = {Fr{\'e}d{\'e}ric Benhamou and Narendra Jussien and Barry O'Sullivan},
  booktitle = {Trends in Constraint Programming},
  publisher = {ISTE},
  year      = {2007},
  month     = may,
  isbn      = 9781905209972,
  address   = {London, UK},
}

@InCollection{wscp/chap3/nexttenyears,
  author    = {Lucas Bordeaux and Barry O'Sullivan and Pascal {Van Hentenryck}},
  title     = {The Next Ten Years of Constraint Programming},
  chapter   = {3},
  pages     = {59--81},
  editor    = {Fr{\'e}d{\'e}ric Benhamou and Narendra Jussien and Barry O'Sullivan},
  booktitle = {Trends in Constraint Programming},
  publisher = {ISTE},
  year      = {2007},
  month     = may,
  isbn      = 9781905209972,
  address   = {London, UK},
}

@InCollection{wscp/chap4/cpai,
  author    = {Marc {Van Dongen} and Christophe Lecoutre},
  title     = {Constraint Propagation and Implementation},
  chapter   = {4},
  pages     = {83--104},
  editor    = {Fr{\'e}d{\'e}ric Benhamou and Narendra Jussien and Barry O'Sullivan},
  booktitle = {Trends in Constraint Programming},
  publisher = {ISTE},
  year      = {2007},
  month     = may,
  isbn      = 9781905209972,
  address   = {London, UK},
}

@InCollection{wscp/chap5/satcp,
  author    = {Youssef Hamadi and Lucas Bordeaux},
  title     = {On the First SAT/CP Integration Workshop},
  chapter   = {5},
  pages     = {105--123},
  editor    = {Fr{\'e}d{\'e}ric Benhamou and Narendra Jussien and Barry O'Sullivan},
  booktitle = {Trends in Constraint Programming},
  publisher = {ISTE},
  year      = {2007},
  month     = may,
  isbn      = 9781905209972,
  address   = {London, UK},
}

@InCollection{wscp/chap6/bioinfo,
  author    = {Alessandro {Dal Pal{\`u}} and Agostino Dovier and Fran{\c{c}}ois Fages and Sebastian Will},
  title     = {Constraint-based Methods for Bioinformatics},
  chapter   = {6},
  pages     = {125--146},
  editor    = {Fr{\'e}d{\'e}ric Benhamou and Narendra Jussien and Barry O'Sullivan},
  booktitle = {Trends in Constraint Programming},
  publisher = {ISTE},
  year      = {2007},
  month     = may,
  isbn      = 9781905209972,
  address   = {London, UK},
}

@InCollection{wscp/chap7/puget-smith,
  author    = {Jean-Fran{\c{c}}ois Puget and Barbara Smith},
  title     = {Improved Models for Graceful Graphs},
  chapter   = {7},
  pages     = {151--161},
  editor    = {Fr{\'e}d{\'e}ric Benhamou and Narendra Jussien and Barry O'Sullivan},
  booktitle = {Trends in Constraint Programming},
  publisher = {ISTE},
  year      = {2007},
  month     = may,
  isbn      = 9781905209972,
  address   = {London, UK},
}

@InCollection{wscp/chap8/martinez-frisch,
  author    = {Bernadette Mart\'inez-Hern\'andez and Alan M. Frisch},
  title     = {Improved Models for Graceful Graphs},
  chapter   = {8},
  pages     = {163--181},
  editor    = {Fr{\'e}d{\'e}ric Benhamou and Narendra Jussien and Barry O'Sullivan},
  booktitle = {Trends in Constraint Programming},
  publisher = {ISTE},
  year      = {2007},
  month     = may,
  isbn      = 9781905209972,
  address   = {London, UK},
}


@InCollection{wscp/chap9/jefferson-et-al,
  author    = {Chris Jefferson and Tom Kelsey and Steve Linton and Karen Petrie},
  title     = {GAPLex: Generalized Static Symmetry Breaking},
  chapter   = {9},
  pages     = {187--201},
  editor    = {Fr{\'e}d{\'e}ric Benhamou and Narendra Jussien and Barry O'Sullivan},
  booktitle = {Trends in Constraint Programming},
  publisher = {ISTE},
  year      = {2007},
  month     = may,
  isbn      = 9781905209972,
  address   = {London, UK},
}


@InCollection{wscp/chap10/zampelli-et-al,
  author    = {St{\'e}phane Zampelli and Yves Deville and Pierre Dupont},
  title     = {Symmetry Breaking in Subgraph Pattern Matching},
  chapter   = {10},
  pages     = {203--218},
  editor    = {Fr{\'e}d{\'e}ric Benhamou and Narendra Jussien and Barry O'Sullivan},
  booktitle = {Trends in Constraint Programming},
  publisher = {ISTE},
  year      = {2007},
  month     = may,
  isbn      = 9781905209972,
  address   = {London, UK},
}

@InCollection{wscp/chap11/heusch,
  author    = {Michael Heusch},
  title     = {Modeling and Solving of a Radio Antenna Deployment Suppport Application},
  chapter   = {11},
  pages     = {223--232},
  editor    = {Fr{\'e}d{\'e}ric Benhamou and Narendra Jussien and Barry O'Sullivan},
  booktitle = {Trends in Constraint Programming},
  publisher = {ISTE},
  year      = {2007},
  month     = may,
  isbn      = 9781905209972,
  address   = {London, UK},
}

@InCollection{wscp/chap12/heusch,
  author    = {S{\'e}bastien Lagrange and Nicolas Delanoue and Luc Jaulin},
  title     = {Guaranteed Numerical Injectivity Test via Interval Analysis},
  chapter   = {12},
  pages     = {233--244},
  editor    = {Fr{\'e}d{\'e}ric Benhamou and Narendra Jussien and Barry O'Sullivan},
  booktitle = {Trends in Constraint Programming},
  publisher = {ISTE},
  year      = {2007},
  month     = may,
  isbn      = 9781905209972,
  address   = {London, UK},
}

@InCollection{wscp/chap13/ishii-et-al,
  author    = {Daisuke Ishii and Kazunori Ueda and Hiroshi Hosobe},
  title     = {An Interval-based Approximation Method for Discrete Changes in Hybrid cc},
  chapter   = {13},
  pages     = {245--255},
  editor    = {Fr{\'e}d{\'e}ric Benhamou and Narendra Jussien and Barry O'Sullivan},
  booktitle = {Trends in Constraint Programming},
  publisher = {ISTE},
  year      = {2007},
  month     = may,
  isbn      = 9781905209972,
  address   = {London, UK},
}

@InCollection{wscp/chap14/li-et-al,
  author    = {Chu Min Li and Wanxia Wei and Harry Zhang},
  title     = {Combining Adaptive Noise and Look-Ahead in Local Search for SAT},
  chapter   = {14},
  pages     = {261--267},
  editor    = {Fr{\'e}d{\'e}ric Benhamou and Narendra Jussien and Barry O'Sullivan},
  booktitle = {Trends in Constraint Programming},
  publisher = {ISTE},
  year      = {2007},
  month     = may,
  isbn      = 9781905209972,
  address   = {London, UK},
}

@InCollection{wscp/chap15/prestwich,
  author    = {Steven Prestwich},
  title     = {Finding Large Cliques using SAT Local Search},
  chapter   = {15},
  pages     = {269--274},
  editor    = {Fr{\'e}d{\'e}ric Benhamou and Narendra Jussien and Barry O'Sullivan},
  booktitle = {Trends in Constraint Programming},
  publisher = {ISTE},
  year      = {2007},
  month     = may,
  isbn      = 9781905209972,
  address   = {London, UK},
}

@InCollection{wscp/chap16/heckman-beck,
  author    = {Ivan Heckman and J. Christopher Beck},
  title     = {Multi-Point Constructive Search for Constraint Satisfaction: An Overview},
  chapter   = {16},
  pages     = {275--281},
  editor    = {Fr{\'e}d{\'e}ric Benhamou and Narendra Jussien and Barry O'Sullivan},
  booktitle = {Trends in Constraint Programming},
  publisher = {ISTE},
  year      = {2007},
  month     = may,
  isbn      = 9781905209972,
  address   = {London, UK},
}

@InCollection{wscp/chap17/anbulagan-et-al,
  author    = {Anbulagan and Duc Nghia Pham and John Slaney and Abdul Sattar},
  title     = {Boosting SLS Using Resolution},
  chapter   = {17},
  pages     = {283--289},
  editor    = {Fr{\'e}d{\'e}ric Benhamou and Narendra Jussien and Barry O'Sullivan},
  booktitle = {Trends in Constraint Programming},
  publisher = {ISTE},
  year      = {2007},
  month     = may,
  isbn      = 9781905209972,
  address   = {London, UK},
}

@InCollection{wscp/chap18/van-hentenryck-michel,
  author    = {Pascal Van Hentenryck and Laurent Michel},
  title     = {Growing COMET},
  chapter   = {17},
  pages     = {291--297},
  editor    = {Fr{\'e}d{\'e}ric Benhamou and Narendra Jussien and Barry O'Sullivan},
  booktitle = {Trends in Constraint Programming},
  publisher = {ISTE},
  year      = {2007},
  month     = may,
  isbn      = 9781905209972,
  address   = {London, UK},
}

@InCollection{wscp/chap19/ansotegui-et-al,
  author    = {Carlos Ans\'otegui and Mar\'ia L. Bonet and Jordi Levy and Felip Many\`a},
  title     = {The Logic Behind Weighted CSP},
  chapter   = {20},
  pages     = {303--316},
  editor    = {Fr{\'e}d{\'e}ric Benhamou and Narendra Jussien and Barry O'Sullivan},
  booktitle = {Trends in Constraint Programming},
  publisher = {ISTE},
  year      = {2007},
  month     = may,
  isbn      = 9781905209972,
  address   = {London, UK},
}

@InCollection{wscp/chap20/jegou-et-al,
  author    = {Philippe J{\'e}gou and Samba Ndojh Ndiaye and Cyril Terrioux},
  title     = {Dynamic Heuristics for Branch and Bound on Tree-Decomposition of Weighted CSPs},
  chapter   = {20},
  pages     = {317--332},
  editor    = {Fr{\'e}d{\'e}ric Benhamou and Narendra Jussien and Barry O'Sullivan},
  booktitle = {Trends in Constraint Programming},
  publisher = {ISTE},
  year      = {2007},
  month     = may,
  isbn      = 9781905209972,
  address   = {London, UK},
}

@InCollection{wscp/chap21/leconte-berstel,
  author    = {Michel Leconte and Bruno Berstel},
  title     = {Extending a CP Solver with Congruences as Domains for Program Verification},
  chapter   = {21},
  pages     = {337--344},
  editor    = {Fr{\'e}d{\'e}ric Benhamou and Narendra Jussien and Barry O'Sullivan},
  booktitle = {Trends in Constraint Programming},
  publisher = {ISTE},
  year      = {2007},
  month     = may,
  isbn      = 9781905209972,
  address   = {London, UK},
}

@InCollection{wscp/chap22/jahier-raymond,
  author    = {Erwan Jahier and Pascal Raymond},
  title     = {Generating Random Values Using Binary Decision Diagrams and Convex Polyhedra},
  chapter   = {22},
  pages     = {345--352},
  editor    = {Fr{\'e}d{\'e}ric Benhamou and Narendra Jussien and Barry O'Sullivan},
  booktitle = {Trends in Constraint Programming},
  publisher = {ISTE},
  year      = {2007},
  month     = may,
  isbn      = 9781905209972,
  address   = {London, UK},
}


@InCollection{wscp/chap23/chevalier-kourjieh,
  author    = {Yannick Chevalier and Mounira Kourjieh},
  title     = {A Symbolic Model for Hash-Collision Attacks},
  chapter   = {23},
  pages     = {353--360},
  editor    = {Fr{\'e}d{\'e}ric Benhamou and Narendra Jussien and Barry O'Sullivan},
  booktitle = {Trends in Constraint Programming},
  publisher = {ISTE},
  year      = {2007},
  month     = may,
  isbn      = 9781905209972,
  address   = {London, UK},
}

@InCollection{wscp/chap24/chridi-vigneron,
  author    = {Najah Chridi and Laurent Vigneron},
  title     = {Strategy for Flaw Detection Based on a Service-driven Model for Group Protocols},
  chapter   = {24},
  pages     = {361--368},
  editor    = {Fr{\'e}d{\'e}ric Benhamou and Narendra Jussien and Barry O'Sullivan},
  booktitle = {Trends in Constraint Programming},
  publisher = {ISTE},
  year      = {2007},
  month     = may,
  isbn      = 9781905209972,
  address   = {London, UK},
}

@InCollection{wscp/chap25/christie-et-al,
  author    = {Marc Christie and Hiroshi Hosobe and Kim Marriott},
  title     = {Trends and Issues in using Constraint Programming for Graphical Applications},
  chapter   = {25},
  pages     = {371--381},
  editor    = {Fr{\'e}d{\'e}ric Benhamou and Narendra Jussien and Barry O'Sullivan},
  booktitle = {Trends in Constraint Programming},
  publisher = {ISTE},
  year      = {2007},
  month     = may,
  isbn      = 9781905209972,
  address   = {London, UK},
}

@InCollection{wscp/chap26/banerjee-chandrasekaran,
  author    = {Bonny Banerjee and Balakrishnan Chandrasekaran},
  title     = {A Constraint Satisfaction Framework for Visual Problem Solving},
  chapter   = {26},
  pages     = {383--393},
  editor    = {Fr{\'e}d{\'e}ric Benhamou and Narendra Jussien and Barry O'Sullivan},
  booktitle = {Trends in Constraint Programming},
  publisher = {ISTE},
  year      = {2007},
  month     = may,
  isbn      = 9781905209972,
  address   = {London, UK},
}

@InCollection{wscp/chap27/normand,
  author    = {Jean-Marie Normand},
  title     = {Computer Graphics and Constraint Solving: An Application to Virtual Camera Control},
  chapter   = {27},
  pages     = {395--404},
  editor    = {Fr{\'e}d{\'e}ric Benhamou and Narendra Jussien and Barry O'Sullivan},
  booktitle = {Trends in Constraint Programming},
  publisher = {ISTE},
  year      = {2007},
  month     = may,
  isbn      = 9781905209972,
  address   = {London, UK},
}