Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:conf/cpaior/AbseherMW17,
  author       = {Michael Abseher and
                  Nysret Musliu and
                  Stefan Woltran},
  editor       = {Domenico Salvagnin and
                  Michele Lombardi},
  title        = {htd - {A} Free, Open-Source Framework for (Customized) Tree Decompositions
                  and Beyond},
  booktitle    = {Integration of {AI} and {OR} Techniques in Constraint Programming
                  - 14th International Conference, {CPAIOR} 2017, Padua, Italy, June
                  5-8, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10335},
  pages        = {376--386},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-59776-8\_30},
  doi          = {10.1007/978-3-319-59776-8\_30},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cpaior/AbseherMW17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cpaior/AkhmedovLBKFM17,
  author       = {Murodzhon Akhmedov and
                  Alexander LeNail and
                  Francesco Bertoni and
                  Ivo Kwee and
                  Ernest Fraenkel and
                  Roberto Montemanni},
  editor       = {Domenico Salvagnin and
                  Michele Lombardi},
  title        = {A Fast Prize-Collecting Steiner Forest Algorithm for Functional Analyses
                  in Biological Networks},
  booktitle    = {Integration of {AI} and {OR} Techniques in Constraint Programming
                  - 14th International Conference, {CPAIOR} 2017, Padua, Italy, June
                  5-8, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10335},
  pages        = {263--276},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-59776-8\_22},
  doi          = {10.1007/978-3-319-59776-8\_22},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cpaior/AkhmedovLBKFM17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cpaior/BaiBXSGG17,
  author       = {Junwen Bai and
                  Johan Bjorck and
                  Yexiang Xue and
                  Santosh K. Suram and
                  John M. Gregoire and
                  Carla P. Gomes},
  editor       = {Domenico Salvagnin and
                  Michele Lombardi},
  title        = {Relaxation Methods for Constrained Matrix Factorization Problems:
                  Solving the Phase Mapping Problem in Materials Discovery},
  booktitle    = {Integration of {AI} and {OR} Techniques in Constraint Programming
                  - 14th International Conference, {CPAIOR} 2017, Padua, Italy, June
                  5-8, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10335},
  pages        = {104--112},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-59776-8\_9},
  doi          = {10.1007/978-3-319-59776-8\_9},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cpaior/BaiBXSGG17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cpaior/BajgiranCR17,
  author       = {Omid Sanei Bajgiran and
                  Andr{\'{e}} A. Cir{\'{e}} and
                  Louis{-}Martin Rousseau},
  editor       = {Domenico Salvagnin and
                  Michele Lombardi},
  title        = {A First Look at Picking Dual Variables for Maximizing Reduced Cost
                  Fixing},
  booktitle    = {Integration of {AI} and {OR} Techniques in Constraint Programming
                  - 14th International Conference, {CPAIOR} 2017, Padua, Italy, June
                  5-8, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10335},
  pages        = {221--228},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-59776-8\_18},
  doi          = {10.1007/978-3-319-59776-8\_18},
  timestamp    = {Wed, 31 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cpaior/BajgiranCR17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cpaior/BeldiceanuCDPSS17,
  author       = {Nicolas Beldiceanu and
                  Mats Carlsson and
                  Alban Derrien and
                  Charles Prud'homme and
                  Andreas Schutt and
                  Peter J. Stuckey},
  editor       = {Domenico Salvagnin and
                  Michele Lombardi},
  title        = {Range-Consistent Forbidden Regions of Allen's Relations},
  booktitle    = {Integration of {AI} and {OR} Techniques in Constraint Programming
                  - 14th International Conference, {CPAIOR} 2017, Padua, Italy, June
                  5-8, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10335},
  pages        = {21--29},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-59776-8\_2},
  doi          = {10.1007/978-3-319-59776-8\_2},
  timestamp    = {Wed, 26 Jul 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cpaior/BeldiceanuCDPSS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cpaior/BergmanC17,
  author       = {David Bergman and
                  Andr{\'{e}} Augusto Cir{\'{e}}},
  editor       = {Domenico Salvagnin and
                  Michele Lombardi},
  title        = {On Finding the Optimal {BDD} Relaxation},
  booktitle    = {Integration of {AI} and {OR} Techniques in Constraint Programming
                  - 14th International Conference, {CPAIOR} 2017, Padua, Italy, June
                  5-8, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10335},
  pages        = {41--50},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-59776-8\_4},
  doi          = {10.1007/978-3-319-59776-8\_4},
  timestamp    = {Wed, 31 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cpaior/BergmanC17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cpaior/BolandHVS17,
  author       = {Natashia Boland and
                  Mike Hewitt and
                  Duc Minh Vu and
                  Martin W. P. Savelsbergh},
  editor       = {Domenico Salvagnin and
                  Michele Lombardi},
  title        = {Solving the Traveling Salesman Problem with Time Windows Through Dynamically
                  Generated Time-Expanded Networks},
  booktitle    = {Integration of {AI} and {OR} Techniques in Constraint Programming
                  - 14th International Conference, {CPAIOR} 2017, Padua, Italy, June
                  5-8, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10335},
  pages        = {254--262},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-59776-8\_21},
  doi          = {10.1007/978-3-319-59776-8\_21},
  timestamp    = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cpaior/BolandHVS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cpaior/CappartS17,
  author       = {Quentin Cappart and
                  Pierre Schaus},
  editor       = {Domenico Salvagnin and
                  Michele Lombardi},
  title        = {Rescheduling Railway Traffic on Real Time Situations Using Time-Interval
                  Variables},
  booktitle    = {Integration of {AI} and {OR} Techniques in Constraint Programming
                  - 14th International Conference, {CPAIOR} 2017, Padua, Italy, June
                  5-8, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10335},
  pages        = {312--327},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-59776-8\_26},
  doi          = {10.1007/978-3-319-59776-8\_26},
  timestamp    = {Wed, 31 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cpaior/CappartS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cpaior/ChihaniMBB17,
  author       = {Zakaria Chihani and
                  Bruno Marre and
                  Fran{\c{c}}ois Bobot and
                  S{\'{e}}bastien Bardin},
  editor       = {Domenico Salvagnin and
                  Michele Lombardi},
  title        = {Sharpening Constraint Programming Approaches for Bit-Vector Theory},
  booktitle    = {Integration of {AI} and {OR} Techniques in Constraint Programming
                  - 14th International Conference, {CPAIOR} 2017, Padua, Italy, June
                  5-8, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10335},
  pages        = {3--20},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-59776-8\_1},
  doi          = {10.1007/978-3-319-59776-8\_1},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cpaior/ChihaniMBB17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cpaior/DelaiteP17,
  author       = {Antoine Delaite and
                  Gilles Pesant},
  editor       = {Domenico Salvagnin and
                  Michele Lombardi},
  title        = {Counting Weighted Spanning Trees to Solve Constrained Minimum Spanning
                  Tree Problems},
  booktitle    = {Integration of {AI} and {OR} Techniques in Constraint Programming
                  - 14th International Conference, {CPAIOR} 2017, Padua, Italy, June
                  5-8, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10335},
  pages        = {176--184},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-59776-8\_14},
  doi          = {10.1007/978-3-319-59776-8\_14},
  timestamp    = {Wed, 31 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cpaior/DelaiteP17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cpaior/DiazBG17,
  author       = {Mateo D{\'{\i}}az and
                  Ronan Le Bras and
                  Carla P. Gomes},
  editor       = {Domenico Salvagnin and
                  Michele Lombardi},
  title        = {In Search of Balance: The Challenge of Generating Balanced Latin Rectangles},
  booktitle    = {Integration of {AI} and {OR} Techniques in Constraint Programming
                  - 14th International Conference, {CPAIOR} 2017, Padua, Italy, June
                  5-8, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10335},
  pages        = {68--76},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-59776-8\_6},
  doi          = {10.1007/978-3-319-59776-8\_6},
  timestamp    = {Mon, 05 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cpaior/DiazBG17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cpaior/GelainPRVW17,
  author       = {Mirco Gelain and
                  Maria Silvia Pini and
                  Francesca Rossi and
                  Kristen Brent Venable and
                  Toby Walsh},
  editor       = {Domenico Salvagnin and
                  Michele Lombardi},
  title        = {A Local Search Approach for Incomplete Soft Constraint Problems: Experimental
                  Results on Meeting Scheduling Problems},
  booktitle    = {Integration of {AI} and {OR} Techniques in Constraint Programming
                  - 14th International Conference, {CPAIOR} 2017, Padua, Italy, June
                  5-8, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10335},
  pages        = {403--418},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-59776-8\_32},
  doi          = {10.1007/978-3-319-59776-8\_32},
  timestamp    = {Tue, 23 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cpaior/GelainPRVW17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cpaior/Hebrard017,
  author       = {Emmanuel Hebrard and
                  Mohamed Siala},
  editor       = {Domenico Salvagnin and
                  Michele Lombardi},
  title        = {Explanation-Based Weighted Degree},
  booktitle    = {Integration of {AI} and {OR} Techniques in Constraint Programming
                  - 14th International Conference, {CPAIOR} 2017, Padua, Italy, June
                  5-8, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10335},
  pages        = {167--175},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-59776-8\_13},
  doi          = {10.1007/978-3-319-59776-8\_13},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cpaior/Hebrard017.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cpaior/HemmiTW17,
  author       = {David Hemmi and
                  Guido Tack and
                  Mark Wallace},
  editor       = {Domenico Salvagnin and
                  Michele Lombardi},
  title        = {Scenario-Based Learning for Stochastic Combinatorial Optimisation},
  booktitle    = {Integration of {AI} and {OR} Techniques in Constraint Programming
                  - 14th International Conference, {CPAIOR} 2017, Padua, Italy, June
                  5-8, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10335},
  pages        = {277--292},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-59776-8\_23},
  doi          = {10.1007/978-3-319-59776-8\_23},
  timestamp    = {Fri, 27 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cpaior/HemmiTW17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cpaior/HoundjiSHW17,
  author       = {Vinas{\'{e}}tan Ratheil Houndji and
                  Pierre Schaus and
                  Mahouton Norbert Hounkonnou and
                  Laurence A. Wolsey},
  editor       = {Domenico Salvagnin and
                  Michele Lombardi},
  title        = {The Weighted Arborescence Constraint},
  booktitle    = {Integration of {AI} and {OR} Techniques in Constraint Programming
                  - 14th International Conference, {CPAIOR} 2017, Padua, Italy, June
                  5-8, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10335},
  pages        = {185--201},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-59776-8\_15},
  doi          = {10.1007/978-3-319-59776-8\_15},
  timestamp    = {Tue, 18 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cpaior/HoundjiSHW17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cpaior/KletzanderM17,
  author       = {Lucas Kletzander and
                  Nysret Musliu},
  editor       = {Domenico Salvagnin and
                  Michele Lombardi},
  title        = {A Multi-stage Simulated Annealing Algorithm for the Torpedo Scheduling
                  Problem},
  booktitle    = {Integration of {AI} and {OR} Techniques in Constraint Programming
                  - 14th International Conference, {CPAIOR} 2017, Padua, Italy, June
                  5-8, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10335},
  pages        = {344--358},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-59776-8\_28},
  doi          = {10.1007/978-3-319-59776-8\_28},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cpaior/KletzanderM17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cpaior/KruberLP17,
  author       = {Markus Kruber and
                  Marco E. L{\"{u}}bbecke and
                  Axel Parmentier},
  editor       = {Domenico Salvagnin and
                  Michele Lombardi},
  title        = {Learning When to Use a Decomposition},
  booktitle    = {Integration of {AI} and {OR} Techniques in Constraint Programming
                  - 14th International Conference, {CPAIOR} 2017, Padua, Italy, June
                  5-8, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10335},
  pages        = {202--210},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-59776-8\_16},
  doi          = {10.1007/978-3-319-59776-8\_16},
  timestamp    = {Wed, 26 Jul 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cpaior/KruberLP17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cpaior/LeoT17,
  author       = {Kevin Leo and
                  Guido Tack},
  editor       = {Domenico Salvagnin and
                  Michele Lombardi},
  title        = {Debugging Unsatisfiable Constraint Models},
  booktitle    = {Integration of {AI} and {OR} Techniques in Constraint Programming
                  - 14th International Conference, {CPAIOR} 2017, Padua, Italy, June
                  5-8, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10335},
  pages        = {77--93},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-59776-8\_7},
  doi          = {10.1007/978-3-319-59776-8\_7},
  timestamp    = {Wed, 31 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cpaior/LeoT17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cpaior/MinotNS17,
  author       = {Ma{\"{e}}l Minot and
                  Samba Ndojh Ndiaye and
                  Christine Solnon},
  editor       = {Domenico Salvagnin and
                  Michele Lombardi},
  title        = {Combining {CP} and {ILP} in a Tree Decomposition of Bounded Height
                  for the Sum Colouring Problem},
  booktitle    = {Integration of {AI} and {OR} Techniques in Constraint Programming
                  - 14th International Conference, {CPAIOR} 2017, Padua, Italy, June
                  5-8, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10335},
  pages        = {359--375},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-59776-8\_29},
  doi          = {10.1007/978-3-319-59776-8\_29},
  timestamp    = {Wed, 31 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cpaior/MinotNS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cpaior/MountakisKW17,
  author       = {Kiriakos{-}Simon Mountakis and
                  Tomas Klos and
                  Cees Witteveen},
  editor       = {Domenico Salvagnin and
                  Michele Lombardi},
  title        = {Stochastic Task Networks - Trading Performance for Stability},
  booktitle    = {Integration of {AI} and {OR} Techniques in Constraint Programming
                  - 14th International Conference, {CPAIOR} 2017, Padua, Italy, June
                  5-8, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10335},
  pages        = {302--311},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-59776-8\_25},
  doi          = {10.1007/978-3-319-59776-8\_25},
  timestamp    = {Wed, 04 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cpaior/MountakisKW17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cpaior/MountakisKW17a,
  author       = {Kiriakos{-}Simon Mountakis and
                  Tomas Klos and
                  Cees Witteveen},
  editor       = {Domenico Salvagnin and
                  Michele Lombardi},
  title        = {Dynamic Temporal Decoupling},
  booktitle    = {Integration of {AI} and {OR} Techniques in Constraint Programming
                  - 14th International Conference, {CPAIOR} 2017, Padua, Italy, June
                  5-8, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10335},
  pages        = {328--343},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-59776-8\_27},
  doi          = {10.1007/978-3-319-59776-8\_27},
  timestamp    = {Wed, 04 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cpaior/MountakisKW17a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cpaior/PerezR17,
  author       = {Guillaume Perez and
                  Jean{-}Charles R{\'{e}}gin},
  editor       = {Domenico Salvagnin and
                  Michele Lombardi},
  title        = {MDDs are Efficient Modeling Tools: An Application to Some Statistical
                  Constraints},
  booktitle    = {Integration of {AI} and {OR} Techniques in Constraint Programming
                  - 14th International Conference, {CPAIOR} 2017, Padua, Italy, June
                  5-8, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10335},
  pages        = {30--40},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-59776-8\_3},
  doi          = {10.1007/978-3-319-59776-8\_3},
  timestamp    = {Wed, 31 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cpaior/PerezR17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cpaior/ScottFPS17,
  author       = {Joseph D. Scott and
                  Pierre Flener and
                  Justin Pearson and
                  Christian Schulte},
  editor       = {Domenico Salvagnin and
                  Michele Lombardi},
  title        = {Design and Implementation of Bounded-Length Sequence Variables},
  booktitle    = {Integration of {AI} and {OR} Techniques in Constraint Programming
                  - 14th International Conference, {CPAIOR} 2017, Padua, Italy, June
                  5-8, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10335},
  pages        = {51--67},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-59776-8\_5},
  doi          = {10.1007/978-3-319-59776-8\_5},
  timestamp    = {Tue, 26 Dec 2017 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cpaior/ScottFPS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cpaior/SpeakmanYL17,
  author       = {Emily Speakman and
                  Han Yu and
                  Jon Lee},
  editor       = {Domenico Salvagnin and
                  Michele Lombardi},
  title        = {Experimental Validation of Volume-Based Comparison for Double-McCormick
                  Relaxations},
  booktitle    = {Integration of {AI} and {OR} Techniques in Constraint Programming
                  - 14th International Conference, {CPAIOR} 2017, Padua, Italy, June
                  5-8, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10335},
  pages        = {229--243},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-59776-8\_19},
  doi          = {10.1007/978-3-319-59776-8\_19},
  timestamp    = {Mon, 12 Feb 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cpaior/SpeakmanYL17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cpaior/UnaGSS17,
  author       = {Diego de U{\~{n}}a and
                  Graeme Gange and
                  Peter Schachte and
                  Peter J. Stuckey},
  editor       = {Domenico Salvagnin and
                  Michele Lombardi},
  title        = {Minimizing Landscape Resistance for Habitat Conservation},
  booktitle    = {Integration of {AI} and {OR} Techniques in Constraint Programming
                  - 14th International Conference, {CPAIOR} 2017, Padua, Italy, June
                  5-8, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10335},
  pages        = {113--130},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-59776-8\_10},
  doi          = {10.1007/978-3-319-59776-8\_10},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cpaior/UnaGSS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cpaior/VerwerZ17,
  author       = {Sicco Verwer and
                  Yingqian Zhang},
  editor       = {Domenico Salvagnin and
                  Michele Lombardi},
  title        = {Learning Decision Trees with Flexible Constraints and Objectives Using
                  Integer Optimization},
  booktitle    = {Integration of {AI} and {OR} Techniques in Constraint Programming
                  - 14th International Conference, {CPAIOR} 2017, Padua, Italy, June
                  5-8, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10335},
  pages        = {94--103},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-59776-8\_8},
  doi          = {10.1007/978-3-319-59776-8\_8},
  timestamp    = {Wed, 26 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cpaior/VerwerZ17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cpaior/WahbiGMBO17,
  author       = {Mohamed Wahbi and
                  Diarmuid Grimes and
                  Deepak Mehta and
                  Kenneth N. Brown and
                  Barry O'Sullivan},
  editor       = {Domenico Salvagnin and
                  Michele Lombardi},
  title        = {A Distributed Optimization Method for the Geographically Distributed
                  Data Centres Problem},
  booktitle    = {Integration of {AI} and {OR} Techniques in Constraint Programming
                  - 14th International Conference, {CPAIOR} 2017, Padua, Italy, June
                  5-8, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10335},
  pages        = {147--166},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-59776-8\_12},
  doi          = {10.1007/978-3-319-59776-8\_12},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cpaior/WahbiGMBO17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cpaior/WitzigBH17,
  author       = {Jakob Witzig and
                  Timo Berthold and
                  Stefan Heinz},
  editor       = {Domenico Salvagnin and
                  Michele Lombardi},
  title        = {Experiments with Conflict Analysis in Mixed Integer Programming},
  booktitle    = {Integration of {AI} and {OR} Techniques in Constraint Programming
                  - 14th International Conference, {CPAIOR} 2017, Padua, Italy, June
                  5-8, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10335},
  pages        = {211--220},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-59776-8\_17},
  doi          = {10.1007/978-3-319-59776-8\_17},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cpaior/WitzigBH17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cpaior/XuKK17,
  author       = {Hong Xu and
                  T. K. Satish Kumar and
                  Sven Koenig},
  editor       = {Domenico Salvagnin and
                  Michele Lombardi},
  title        = {The Nemhauser-Trotter Reduction and Lifted Message Passing for the
                  Weighted {CSP}},
  booktitle    = {Integration of {AI} and {OR} Techniques in Constraint Programming
                  - 14th International Conference, {CPAIOR} 2017, Padua, Italy, June
                  5-8, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10335},
  pages        = {387--402},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-59776-8\_31},
  doi          = {10.1007/978-3-319-59776-8\_31},
  timestamp    = {Thu, 14 Sep 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cpaior/XuKK17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cpaior/YuNS17,
  author       = {Miao Yu and
                  Viswanath Nagarajan and
                  Siqian Shen},
  editor       = {Domenico Salvagnin and
                  Michele Lombardi},
  title        = {Minimum Makespan Vehicle Routing Problem with Compatibility Constraints},
  booktitle    = {Integration of {AI} and {OR} Techniques in Constraint Programming
                  - 14th International Conference, {CPAIOR} 2017, Padua, Italy, June
                  5-8, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10335},
  pages        = {244--253},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-59776-8\_20},
  doi          = {10.1007/978-3-319-59776-8\_20},
  timestamp    = {Thu, 24 Aug 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cpaior/YuNS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cpaior/Zanarini17,
  author       = {Alessandro Zanarini},
  editor       = {Domenico Salvagnin and
                  Michele Lombardi},
  title        = {Optimal Stock Sizing in a Cutting Stock Problem with Stochastic Demands},
  booktitle    = {Integration of {AI} and {OR} Techniques in Constraint Programming
                  - 14th International Conference, {CPAIOR} 2017, Padua, Italy, June
                  5-8, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10335},
  pages        = {293--301},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-59776-8\_24},
  doi          = {10.1007/978-3-319-59776-8\_24},
  timestamp    = {Wed, 31 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cpaior/Zanarini17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cpaior/ZanariniP17,
  author       = {Alessandro Zanarini and
                  Jan Poland},
  editor       = {Domenico Salvagnin and
                  Michele Lombardi},
  title        = {A Hybrid Approach for Stator Winding Design Optimization},
  booktitle    = {Integration of {AI} and {OR} Techniques in Constraint Programming
                  - 14th International Conference, {CPAIOR} 2017, Padua, Italy, June
                  5-8, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10335},
  pages        = {131--146},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-59776-8\_11},
  doi          = {10.1007/978-3-319-59776-8\_11},
  timestamp    = {Wed, 31 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cpaior/ZanariniP17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/cpaior/2017,
  editor       = {Domenico Salvagnin and
                  Michele Lombardi},
  title        = {Integration of {AI} and {OR} Techniques in Constraint Programming
                  - 14th International Conference, {CPAIOR} 2017, Padua, Italy, June
                  5-8, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10335},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-59776-8},
  doi          = {10.1007/978-3-319-59776-8},
  isbn         = {978-3-319-59775-1},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cpaior/2017.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.