Search dblp for Publications

export results for "toc:db/conf/cpaior/cpaior2008.bht:"

 download as .bib file

@inproceedings{DBLP:conf/cpaior/AchterbergBKW08,
  author       = {Tobias Achterberg and
                  Timo Berthold and
                  Thorsten Koch and
                  Kati Wolter},
  editor       = {Laurent Perron and
                  Michael A. Trick},
  title        = {Constraint Integer Programming: {A} New Approach to Integrate {CP}
                  and {MIP}},
  booktitle    = {Integration of {AI} and {OR} Techniques in Constraint Programming
                  for Combinatorial Optimization Problems, 5th International Conference,
                  {CPAIOR} 2008, Paris, France, May 20-23, 2008, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5015},
  pages        = {6--20},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-68155-7\_4},
  doi          = {10.1007/978-3-540-68155-7\_4},
  timestamp    = {Tue, 14 May 2019 10:00:47 +0200},
  biburl       = {https://dblp.org/rec/conf/cpaior/AchterbergBKW08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/AchterbergHK08,
  author       = {Tobias Achterberg and
                  Stefan Heinz and
                  Thorsten Koch},
  editor       = {Laurent Perron and
                  Michael A. Trick},
  title        = {Counting Solutions of Integer Programs Using Unrestricted Subtree
                  Detection},
  booktitle    = {Integration of {AI} and {OR} Techniques in Constraint Programming
                  for Combinatorial Optimization Problems, 5th International Conference,
                  {CPAIOR} 2008, Paris, France, May 20-23, 2008, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5015},
  pages        = {278--282},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-68155-7\_22},
  doi          = {10.1007/978-3-540-68155-7\_22},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cpaior/AchterbergHK08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/AltnerE08,
  author       = {Douglas S. Altner and
                  {\"{O}}zlem Ergun},
  editor       = {Laurent Perron and
                  Michael A. Trick},
  title        = {Rapidly Solving an Online Sequence of Maximum Flow Problems with Extensions
                  to Computing Robust Minimum Cuts},
  booktitle    = {Integration of {AI} and {OR} Techniques in Constraint Programming
                  for Combinatorial Optimization Problems, 5th International Conference,
                  {CPAIOR} 2008, Paris, France, May 20-23, 2008, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5015},
  pages        = {283--287},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-68155-7\_23},
  doi          = {10.1007/978-3-540-68155-7\_23},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cpaior/AltnerE08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/BarlattCG08,
  author       = {Ada Barlatt and
                  Amy Mainville Cohn and
                  Oleg Yu. Gusikhin},
  editor       = {Laurent Perron and
                  Michael A. Trick},
  title        = {A Hybrid Approach for Solving Shift-Selection and Task-Sequencing
                  Problems},
  booktitle    = {Integration of {AI} and {OR} Techniques in Constraint Programming
                  for Combinatorial Optimization Problems, 5th International Conference,
                  {CPAIOR} 2008, Paris, France, May 20-23, 2008, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5015},
  pages        = {288--292},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-68155-7\_24},
  doi          = {10.1007/978-3-540-68155-7\_24},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cpaior/BarlattCG08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/Barnhart08,
  author       = {Cynthia Barnhart},
  editor       = {Laurent Perron and
                  Michael A. Trick},
  title        = {Airline Scheduling: Accomplishments, Opportunities and Challenges},
  booktitle    = {Integration of {AI} and {OR} Techniques in Constraint Programming
                  for Combinatorial Optimization Problems, 5th International Conference,
                  {CPAIOR} 2008, Paris, France, May 20-23, 2008, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5015},
  pages        = {1},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-68155-7\_1},
  doi          = {10.1007/978-3-540-68155-7\_1},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cpaior/Barnhart08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/BeldiceanuCP08,
  author       = {Nicolas Beldiceanu and
                  Mats Carlsson and
                  Emmanuel Poder},
  editor       = {Laurent Perron and
                  Michael A. Trick},
  title        = {New Filtering for the cumulative Constraint in the Context of Non-Overlapping
                  Rectangles},
  booktitle    = {Integration of {AI} and {OR} Techniques in Constraint Programming
                  for Combinatorial Optimization Problems, 5th International Conference,
                  {CPAIOR} 2008, Paris, France, May 20-23, 2008, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5015},
  pages        = {21--35},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-68155-7\_5},
  doi          = {10.1007/978-3-540-68155-7\_5},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cpaior/BeldiceanuCP08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/BeniniLMMR08,
  author       = {Luca Benini and
                  Michele Lombardi and
                  Marco Mantovani and
                  Michela Milano and
                  Martino Ruggiero},
  editor       = {Laurent Perron and
                  Michael A. Trick},
  title        = {Multi-stage Benders Decomposition for Optimizing Multicore Architectures},
  booktitle    = {Integration of {AI} and {OR} Techniques in Constraint Programming
                  for Combinatorial Optimization Problems, 5th International Conference,
                  {CPAIOR} 2008, Paris, France, May 20-23, 2008, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5015},
  pages        = {36--50},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-68155-7\_6},
  doi          = {10.1007/978-3-540-68155-7\_6},
  timestamp    = {Thu, 16 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cpaior/BeniniLMMR08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/CambazardHOO08,
  author       = {Hadrien Cambazard and
                  John Horan and
                  Eoin O'Mahony and
                  Barry O'Sullivan},
  editor       = {Laurent Perron and
                  Michael A. Trick},
  title        = {Fast and Scalable Domino Portrait Generation},
  booktitle    = {Integration of {AI} and {OR} Techniques in Constraint Programming
                  for Combinatorial Optimization Problems, 5th International Conference,
                  {CPAIOR} 2008, Paris, France, May 20-23, 2008, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5015},
  pages        = {51--65},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-68155-7\_7},
  doi          = {10.1007/978-3-540-68155-7\_7},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cpaior/CambazardHOO08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/DoomsH08,
  author       = {Gr{\'{e}}goire Dooms and
                  Pascal Van Hentenryck},
  editor       = {Laurent Perron and
                  Michael A. Trick},
  title        = {Gap Reduction Techniques for Online Stochastic Project Scheduling},
  booktitle    = {Integration of {AI} and {OR} Techniques in Constraint Programming
                  for Combinatorial Optimization Problems, 5th International Conference,
                  {CPAIOR} 2008, Paris, France, May 20-23, 2008, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5015},
  pages        = {66--81},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-68155-7\_8},
  doi          = {10.1007/978-3-540-68155-7\_8},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cpaior/DoomsH08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/Fukunaga08,
  author       = {Alex S. Fukunaga},
  editor       = {Laurent Perron and
                  Michael A. Trick},
  title        = {Integrating Symmetry, Dominance, and Bound-and-Bound in a Multiple
                  Knapsack Solver},
  booktitle    = {Integration of {AI} and {OR} Techniques in Constraint Programming
                  for Combinatorial Optimization Problems, 5th International Conference,
                  {CPAIOR} 2008, Paris, France, May 20-23, 2008, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5015},
  pages        = {82--96},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-68155-7\_9},
  doi          = {10.1007/978-3-540-68155-7\_9},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cpaior/Fukunaga08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/GalinierHPP08,
  author       = {Philippe Galinier and
                  Alain Hertz and
                  Sandrine Paroz and
                  Gilles Pesant},
  editor       = {Laurent Perron and
                  Michael A. Trick},
  title        = {Using Local Search to Speed Up Filtering Algorithms for Some NP-Hard
                  Constraints},
  booktitle    = {Integration of {AI} and {OR} Techniques in Constraint Programming
                  for Combinatorial Optimization Problems, 5th International Conference,
                  {CPAIOR} 2008, Paris, France, May 20-23, 2008, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5015},
  pages        = {298--302},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-68155-7\_26},
  doi          = {10.1007/978-3-540-68155-7\_26},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cpaior/GalinierHPP08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/GomesHS08,
  author       = {Carla P. Gomes and
                  Willem Jan van Hoeve and
                  Ashish Sabharwal},
  editor       = {Laurent Perron and
                  Michael A. Trick},
  title        = {Connections in Networks: {A} Hybrid Approach},
  booktitle    = {Integration of {AI} and {OR} Techniques in Constraint Programming
                  for Combinatorial Optimization Problems, 5th International Conference,
                  {CPAIOR} 2008, Paris, France, May 20-23, 2008, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5015},
  pages        = {303--307},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-68155-7\_27},
  doi          = {10.1007/978-3-540-68155-7\_27},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cpaior/GomesHS08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/GracaMLO08,
  author       = {Ana Gra{\c{c}}a and
                  Jo{\~{a}}o Marques{-}Silva and
                  In{\^{e}}s Lynce and
                  Arlindo L. Oliveira},
  editor       = {Laurent Perron and
                  Michael A. Trick},
  title        = {Efficient Haplotype Inference with Combined {CP} and {OR} Techniques},
  booktitle    = {Integration of {AI} and {OR} Techniques in Constraint Programming
                  for Combinatorial Optimization Problems, 5th International Conference,
                  {CPAIOR} 2008, Paris, France, May 20-23, 2008, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5015},
  pages        = {308--312},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-68155-7\_28},
  doi          = {10.1007/978-3-540-68155-7\_28},
  timestamp    = {Mon, 24 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cpaior/GracaMLO08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/GroheW08,
  author       = {Birgit Grohe and
                  Dag Wedelin},
  editor       = {Laurent Perron and
                  Michael A. Trick},
  title        = {Cost Propagation - Numerical Propagation for Optimization Problems},
  booktitle    = {Integration of {AI} and {OR} Techniques in Constraint Programming
                  for Combinatorial Optimization Problems, 5th International Conference,
                  {CPAIOR} 2008, Paris, France, May 20-23, 2008, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5015},
  pages        = {97--111},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-68155-7\_10},
  doi          = {10.1007/978-3-540-68155-7\_10},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cpaior/GroheW08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/Gutkovich08,
  author       = {Boris Gutkovich},
  editor       = {Laurent Perron and
                  Michael A. Trick},
  title        = {Integration of {CP} and Compilation Techniques for Instruction Sequence
                  Test Generation},
  booktitle    = {Integration of {AI} and {OR} Techniques in Constraint Programming
                  for Combinatorial Optimization Problems, 5th International Conference,
                  {CPAIOR} 2008, Paris, France, May 20-23, 2008, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5015},
  pages        = {313--317},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-68155-7\_29},
  doi          = {10.1007/978-3-540-68155-7\_29},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cpaior/Gutkovich08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/HachemiGR08,
  author       = {Nizar El Hachemi and
                  Michel Gendreau and
                  Louis{-}Martin Rousseau},
  editor       = {Laurent Perron and
                  Michael A. Trick},
  title        = {Solving a Log-Truck Scheduling Problem with Constraint Programming},
  booktitle    = {Integration of {AI} and {OR} Techniques in Constraint Programming
                  for Combinatorial Optimization Problems, 5th International Conference,
                  {CPAIOR} 2008, Paris, France, May 20-23, 2008, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5015},
  pages        = {293--297},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-68155-7\_25},
  doi          = {10.1007/978-3-540-68155-7\_25},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cpaior/HachemiGR08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/HadzicHT08,
  author       = {Tarik Hadzic and
                  John N. Hooker and
                  Peter Tiedemann},
  editor       = {Laurent Perron and
                  Michael A. Trick},
  title        = {Propagating Separable Equalities in an {MDD} Store},
  booktitle    = {Integration of {AI} and {OR} Techniques in Constraint Programming
                  for Combinatorial Optimization Problems, 5th International Conference,
                  {CPAIOR} 2008, Paris, France, May 20-23, 2008, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5015},
  pages        = {318--322},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-68155-7\_30},
  doi          = {10.1007/978-3-540-68155-7\_30},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cpaior/HadzicHT08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/HeckmanB08,
  author       = {Ivan Heckman and
                  J. Christopher Beck},
  editor       = {Laurent Perron and
                  Michael A. Trick},
  title        = {Fitness-Distance Correlation and Solution-Guided Multi-point Constructive
                  Search for CSPs},
  booktitle    = {Integration of {AI} and {OR} Techniques in Constraint Programming
                  for Combinatorial Optimization Problems, 5th International Conference,
                  {CPAIOR} 2008, Paris, France, May 20-23, 2008, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5015},
  pages        = {112--126},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-68155-7\_11},
  doi          = {10.1007/978-3-540-68155-7\_11},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cpaior/HeckmanB08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/Hentenryck08,
  author       = {Pascal Van Hentenryck},
  editor       = {Laurent Perron and
                  Michael A. Trick},
  title        = {30 Years of Constraint Programming},
  booktitle    = {Integration of {AI} and {OR} Techniques in Constraint Programming
                  for Combinatorial Optimization Problems, 5th International Conference,
                  {CPAIOR} 2008, Paris, France, May 20-23, 2008, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5015},
  pages        = {5},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-68155-7\_3},
  doi          = {10.1007/978-3-540-68155-7\_3},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cpaior/Hentenryck08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/HentenryckM08,
  author       = {Pascal Van Hentenryck and
                  Laurent Michel},
  editor       = {Laurent Perron and
                  Michael A. Trick},
  title        = {The Steel Mill Slab Design Problem Revisited},
  booktitle    = {Integration of {AI} and {OR} Techniques in Constraint Programming
                  for Combinatorial Optimization Problems, 5th International Conference,
                  {CPAIOR} 2008, Paris, France, May 20-23, 2008, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5015},
  pages        = {377--381},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-68155-7\_41},
  doi          = {10.1007/978-3-540-68155-7\_41},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cpaior/HentenryckM08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/HoeveS08,
  author       = {Willem Jan van Hoeve and
                  Ashish Sabharwal},
  editor       = {Laurent Perron and
                  Michael A. Trick},
  title        = {Filtering Atmost1 on Pairs of Set Variables},
  booktitle    = {Integration of {AI} and {OR} Techniques in Constraint Programming
                  for Combinatorial Optimization Problems, 5th International Conference,
                  {CPAIOR} 2008, Paris, France, May 20-23, 2008, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5015},
  pages        = {382--386},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-68155-7\_42},
  doi          = {10.1007/978-3-540-68155-7\_42},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cpaior/HoeveS08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/KatsirelosNW08,
  author       = {George Katsirelos and
                  Nina Narodytska and
                  Toby Walsh},
  editor       = {Laurent Perron and
                  Michael A. Trick},
  title        = {The Weighted CfgConstraint},
  booktitle    = {Integration of {AI} and {OR} Techniques in Constraint Programming
                  for Combinatorial Optimization Problems, 5th International Conference,
                  {CPAIOR} 2008, Paris, France, May 20-23, 2008, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5015},
  pages        = {323--327},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-68155-7\_31},
  doi          = {10.1007/978-3-540-68155-7\_31},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cpaior/KatsirelosNW08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/KhichaneAS08,
  author       = {Madjid Khichane and
                  Patrick Albert and
                  Christine Solnon},
  editor       = {Laurent Perron and
                  Michael A. Trick},
  title        = {{CP} with {ACO}},
  booktitle    = {Integration of {AI} and {OR} Techniques in Constraint Programming
                  for Combinatorial Optimization Problems, 5th International Conference,
                  {CPAIOR} 2008, Paris, France, May 20-23, 2008, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5015},
  pages        = {328--332},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-68155-7\_32},
  doi          = {10.1007/978-3-540-68155-7\_32},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cpaior/KhichaneAS08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/KrocSS08,
  author       = {Lukas Kroc and
                  Ashish Sabharwal and
                  Bart Selman},
  editor       = {Laurent Perron and
                  Michael A. Trick},
  title        = {Leveraging Belief Propagation, Backtrack Search, and Statistics for
                  Model Counting},
  booktitle    = {Integration of {AI} and {OR} Techniques in Constraint Programming
                  for Combinatorial Optimization Problems, 5th International Conference,
                  {CPAIOR} 2008, Paris, France, May 20-23, 2008, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5015},
  pages        = {127--141},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-68155-7\_12},
  doi          = {10.1007/978-3-540-68155-7\_12},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cpaior/KrocSS08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/Laburthe08,
  author       = {Fran{\c{c}}ois Laburthe},
  editor       = {Laurent Perron and
                  Michael A. Trick},
  title        = {Selected Challenges from Distribution and Commerce in the Airline
                  and Travel Industry},
  booktitle    = {Integration of {AI} and {OR} Techniques in Constraint Programming
                  for Combinatorial Optimization Problems, 5th International Conference,
                  {CPAIOR} 2008, Paris, France, May 20-23, 2008, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5015},
  pages        = {2--4},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-68155-7\_2},
  doi          = {10.1007/978-3-540-68155-7\_2},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cpaior/Laburthe08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/LauLN08,
  author       = {Hoong Chuin Lau and
                  Kong Wei Lye and
                  Viet Bang Nguyen},
  editor       = {Laurent Perron and
                  Michael A. Trick},
  title        = {A Combinatorial Auction Framework for Solving Decentralized Scheduling
                  Problems (Extended Abstract)},
  booktitle    = {Integration of {AI} and {OR} Techniques in Constraint Programming
                  for Combinatorial Optimization Problems, 5th International Conference,
                  {CPAIOR} 2008, Paris, France, May 20-23, 2008, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5015},
  pages        = {333--337},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-68155-7\_33},
  doi          = {10.1007/978-3-540-68155-7\_33},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cpaior/LauLN08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/LeventhalS08,
  author       = {Daniel H. Leventhal and
                  Meinolf Sellmann},
  editor       = {Laurent Perron and
                  Michael A. Trick},
  title        = {The Accuracy of Search Heuristics: An Empirical Study on Knapsack
                  Problems},
  booktitle    = {Integration of {AI} and {OR} Techniques in Constraint Programming
                  for Combinatorial Optimization Problems, 5th International Conference,
                  {CPAIOR} 2008, Paris, France, May 20-23, 2008, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5015},
  pages        = {142--157},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-68155-7\_13},
  doi          = {10.1007/978-3-540-68155-7\_13},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cpaior/LeventhalS08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/MaierS08,
  author       = {Paul Maier and
                  Martin Sachenbacher},
  editor       = {Laurent Perron and
                  Michael A. Trick},
  title        = {Constraint Optimization and Abstraction for Embedded Intelligent Systems},
  booktitle    = {Integration of {AI} and {OR} Techniques in Constraint Programming
                  for Combinatorial Optimization Problems, 5th International Conference,
                  {CPAIOR} 2008, Paris, France, May 20-23, 2008, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5015},
  pages        = {338--342},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-68155-7\_34},
  doi          = {10.1007/978-3-540-68155-7\_34},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cpaior/MaierS08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/MearsBWD08,
  author       = {Christopher Mears and
                  Maria J. Garc{\'{\i}}a de la Banda and
                  Mark Wallace and
                  Bart Demoen},
  editor       = {Laurent Perron and
                  Michael A. Trick},
  title        = {A Novel Approach For Detecting Symmetries in {CSP} Models},
  booktitle    = {Integration of {AI} and {OR} Techniques in Constraint Programming
                  for Combinatorial Optimization Problems, 5th International Conference,
                  {CPAIOR} 2008, Paris, France, May 20-23, 2008, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5015},
  pages        = {158--172},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-68155-7\_14},
  doi          = {10.1007/978-3-540-68155-7\_14},
  timestamp    = {Tue, 19 Dec 2017 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cpaior/MearsBWD08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/MercierH08,
  author       = {Luc Mercier and
                  Pascal Van Hentenryck},
  editor       = {Laurent Perron and
                  Michael A. Trick},
  title        = {Amsaa: {A} Multistep Anticipatory Algorithm for Online Stochastic
                  Combinatorial Optimization},
  booktitle    = {Integration of {AI} and {OR} Techniques in Constraint Programming
                  for Combinatorial Optimization Problems, 5th International Conference,
                  {CPAIOR} 2008, Paris, France, May 20-23, 2008, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5015},
  pages        = {173--187},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-68155-7\_15},
  doi          = {10.1007/978-3-540-68155-7\_15},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cpaior/MercierH08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/MichelSSH08,
  author       = {Laurent Michel and
                  Alexander A. Shvartsman and
                  Elaine L. Sonderegger and
                  Pascal Van Hentenryck},
  editor       = {Laurent Perron and
                  Michael A. Trick},
  title        = {Optimal Deployment of Eventually-Serializable Data Services},
  booktitle    = {Integration of {AI} and {OR} Techniques in Constraint Programming
                  for Combinatorial Optimization Problems, 5th International Conference,
                  {CPAIOR} 2008, Paris, France, May 20-23, 2008, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5015},
  pages        = {188--202},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-68155-7\_16},
  doi          = {10.1007/978-3-540-68155-7\_16},
  timestamp    = {Sun, 25 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cpaior/MichelSSH08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/NamazifarM08,
  author       = {Mahdi Namazifar and
                  Andrew J. Miller},
  editor       = {Laurent Perron and
                  Michael A. Trick},
  title        = {A Parallel Macro Partitioning Framework for Solving Mixed Integer
                  Programs},
  booktitle    = {Integration of {AI} and {OR} Techniques in Constraint Programming
                  for Combinatorial Optimization Problems, 5th International Conference,
                  {CPAIOR} 2008, Paris, France, May 20-23, 2008, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5015},
  pages        = {343--348},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-68155-7\_35},
  doi          = {10.1007/978-3-540-68155-7\_35},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cpaior/NamazifarM08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/Naveh08,
  author       = {Yehuda Naveh},
  editor       = {Laurent Perron and
                  Michael A. Trick},
  title        = {Guiding Stochastic Search by Dynamic Learning of the Problem Topography},
  booktitle    = {Integration of {AI} and {OR} Techniques in Constraint Programming
                  for Combinatorial Optimization Problems, 5th International Conference,
                  {CPAIOR} 2008, Paris, France, May 20-23, 2008, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5015},
  pages        = {349--354},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-68155-7\_36},
  doi          = {10.1007/978-3-540-68155-7\_36},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cpaior/Naveh08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/OddiCPS08,
  author       = {Angelo Oddi and
                  Amedeo Cesta and
                  Nicola Policella and
                  Stephen F. Smith},
  editor       = {Laurent Perron and
                  Michael A. Trick},
  title        = {Hybrid Variants for Iterative Flattening Search},
  booktitle    = {Integration of {AI} and {OR} Techniques in Constraint Programming
                  for Combinatorial Optimization Problems, 5th International Conference,
                  {CPAIOR} 2008, Paris, France, May 20-23, 2008, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5015},
  pages        = {355--360},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-68155-7\_37},
  doi          = {10.1007/978-3-540-68155-7\_37},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cpaior/OddiCPS08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/PesantQ08,
  author       = {Gilles Pesant and
                  Claude{-}Guy Quimper},
  editor       = {Laurent Perron and
                  Michael A. Trick},
  title        = {Counting Solutions of Knapsack Constraints},
  booktitle    = {Integration of {AI} and {OR} Techniques in Constraint Programming
                  for Combinatorial Optimization Problems, 5th International Conference,
                  {CPAIOR} 2008, Paris, France, May 20-23, 2008, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5015},
  pages        = {203--217},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-68155-7\_17},
  doi          = {10.1007/978-3-540-68155-7\_17},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cpaior/PesantQ08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/PetitP08,
  author       = {Thierry Petit and
                  Emmanuel Poder},
  editor       = {Laurent Perron and
                  Michael A. Trick},
  title        = {Global Propagation of Practicability Constraints},
  booktitle    = {Integration of {AI} and {OR} Techniques in Constraint Programming
                  for Combinatorial Optimization Problems, 5th International Conference,
                  {CPAIOR} 2008, Paris, France, May 20-23, 2008, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5015},
  pages        = {361--366},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-68155-7\_38},
  doi          = {10.1007/978-3-540-68155-7\_38},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cpaior/PetitP08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/PuchingerSWB08,
  author       = {Jakob Puchinger and
                  Peter J. Stuckey and
                  Mark Wallace and
                  Sebastian Brand},
  editor       = {Laurent Perron and
                  Michael A. Trick},
  title        = {From High-Level Model to Branch-and-Price Solution in {G12}},
  booktitle    = {Integration of {AI} and {OR} Techniques in Constraint Programming
                  for Combinatorial Optimization Problems, 5th International Conference,
                  {CPAIOR} 2008, Paris, France, May 20-23, 2008, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5015},
  pages        = {218--232},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-68155-7\_18},
  doi          = {10.1007/978-3-540-68155-7\_18},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cpaior/PuchingerSWB08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/QuadrifoglioDO08,
  author       = {Luca Quadrifoglio and
                  Maged M. Dessouky and
                  Fernando Ord{\'{o}}{\~{n}}ez},
  editor       = {Laurent Perron and
                  Michael A. Trick},
  title        = {Mobility Allowance Shuttle Transit {(MAST)} Services: {MIP} Formulation
                  and Strengthening with Logic Constraints},
  booktitle    = {Integration of {AI} and {OR} Techniques in Constraint Programming
                  for Combinatorial Optimization Problems, 5th International Conference,
                  {CPAIOR} 2008, Paris, France, May 20-23, 2008, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5015},
  pages        = {387--391},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-68155-7\_43},
  doi          = {10.1007/978-3-540-68155-7\_43},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cpaior/QuadrifoglioDO08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/Regin08,
  author       = {Jean{-}Charles R{\'{e}}gin},
  editor       = {Laurent Perron and
                  Michael A. Trick},
  title        = {Simpler and Incremental Consistency Checking and Arc Consistency Filtering
                  Algorithms for the Weighted Spanning Tree Constraint},
  booktitle    = {Integration of {AI} and {OR} Techniques in Constraint Programming
                  for Combinatorial Optimization Problems, 5th International Conference,
                  {CPAIOR} 2008, Paris, France, May 20-23, 2008, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5015},
  pages        = {233--247},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-68155-7\_19},
  doi          = {10.1007/978-3-540-68155-7\_19},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cpaior/Regin08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/Sellmann08,
  author       = {Meinolf Sellmann},
  editor       = {Laurent Perron and
                  Michael A. Trick},
  title        = {The Polytope of Tree-Structured Binary Constraint Satisfaction Problems},
  booktitle    = {Integration of {AI} and {OR} Techniques in Constraint Programming
                  for Combinatorial Optimization Problems, 5th International Conference,
                  {CPAIOR} 2008, Paris, France, May 20-23, 2008, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5015},
  pages        = {367--371},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-68155-7\_39},
  doi          = {10.1007/978-3-540-68155-7\_39},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cpaior/Sellmann08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/TeigeF08,
  author       = {Tino Teige and
                  Martin Fr{\"{a}}nzle},
  editor       = {Laurent Perron and
                  Michael A. Trick},
  title        = {Stochastic Satisfiability Modulo Theories for Non-linear Arithmetic},
  booktitle    = {Integration of {AI} and {OR} Techniques in Constraint Programming
                  for Combinatorial Optimization Problems, 5th International Conference,
                  {CPAIOR} 2008, Paris, France, May 20-23, 2008, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5015},
  pages        = {248--262},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-68155-7\_20},
  doi          = {10.1007/978-3-540-68155-7\_20},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cpaior/TeigeF08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/TruchetCN08,
  author       = {Charlotte Truchet and
                  Marc Christie and
                  Jean{-}Marie Normand},
  editor       = {Laurent Perron and
                  Michael A. Trick},
  title        = {A Tabu Search Method for Interval Constraints},
  booktitle    = {Integration of {AI} and {OR} Techniques in Constraint Programming
                  for Combinatorial Optimization Problems, 5th International Conference,
                  {CPAIOR} 2008, Paris, France, May 20-23, 2008, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5015},
  pages        = {372--376},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-68155-7\_40},
  doi          = {10.1007/978-3-540-68155-7\_40},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cpaior/TruchetCN08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/WatsonB08,
  author       = {Jean{-}Paul Watson and
                  J. Christopher Beck},
  editor       = {Laurent Perron and
                  Michael A. Trick},
  title        = {A Hybrid Constraint Programming / Local Search Approach to the Job-Shop
                  Scheduling Problem},
  booktitle    = {Integration of {AI} and {OR} Techniques in Constraint Programming
                  for Combinatorial Optimization Problems, 5th International Conference,
                  {CPAIOR} 2008, Paris, France, May 20-23, 2008, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5015},
  pages        = {263--277},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-68155-7\_21},
  doi          = {10.1007/978-3-540-68155-7\_21},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cpaior/WatsonB08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cpaior/2008,
  editor       = {Laurent Perron and
                  Michael A. Trick},
  title        = {Integration of {AI} and {OR} Techniques in Constraint Programming
                  for Combinatorial Optimization Problems, 5th International Conference,
                  {CPAIOR} 2008, Paris, France, May 20-23, 2008, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5015},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-68155-7},
  doi          = {10.1007/978-3-540-68155-7},
  isbn         = {978-3-540-68154-0},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cpaior/2008.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics