Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:conf/cpaior/BaiSGFG23,
  author       = {Yiwei Bai and
                  Qinru Shi and
                  Marc Grimson and
                  Alexander Flecker and
                  Carla P. Gomes},
  editor       = {Andr{\'{e}} A. Cir{\'{e}}},
  title        = {Efficiently Approximating High-Dimensional Pareto Frontiers for Tree-Structured
                  Networks Using Expansion and Compression},
  booktitle    = {Integration of Constraint Programming, Artificial Intelligence, and
                  Operations Research - 20th International Conference, {CPAIOR} 2023,
                  Nice, France, May 29 - June 1, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13884},
  pages        = {1--17},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-33271-5\_1},
  doi          = {10.1007/978-3-031-33271-5\_1},
  timestamp    = {Wed, 31 May 2023 14:56:54 +0200},
  biburl       = {https://dblp.org/rec/conf/cpaior/BaiSGFG23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/BurlatsP23,
  author       = {Auguste Burlats and
                  Gilles Pesant},
  editor       = {Andr{\'{e}} A. Cir{\'{e}}},
  title        = {Exploiting Entropy in Constraint Programming},
  booktitle    = {Integration of Constraint Programming, Artificial Intelligence, and
                  Operations Research - 20th International Conference, {CPAIOR} 2023,
                  Nice, France, May 29 - June 1, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13884},
  pages        = {320--335},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-33271-5\_21},
  doi          = {10.1007/978-3-031-33271-5\_21},
  timestamp    = {Wed, 31 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cpaior/BurlatsP23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/CaiNSGTYZS23,
  author       = {Junyang Cai and
                  Khai{-}Nguyen Nguyen and
                  Nishant Shrestha and
                  Aidan Good and
                  Ruisen Tu and
                  Xin Yu and
                  Shandian Zhe and
                  Thiago Serra},
  editor       = {Andr{\'{e}} A. Cir{\'{e}}},
  title        = {Getting Away with More Network Pruning: From Sparsity to Geometry
                  and Linear Regions},
  booktitle    = {Integration of Constraint Programming, Artificial Intelligence, and
                  Operations Research - 20th International Conference, {CPAIOR} 2023,
                  Nice, France, May 29 - June 1, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13884},
  pages        = {200--218},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-33271-5\_14},
  doi          = {10.1007/978-3-031-33271-5\_14},
  timestamp    = {Wed, 31 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cpaior/CaiNSGTYZS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/ChembuSK23,
  author       = {Aravinth Chembu and
                  Scott Sanner and
                  Elias B. Khalil},
  editor       = {Andr{\'{e}} A. Cir{\'{e}}},
  title        = {Scalable and Near-Optimal {\(\epsilon\)}-Tube Clusterwise Regression},
  booktitle    = {Integration of Constraint Programming, Artificial Intelligence, and
                  Operations Research - 20th International Conference, {CPAIOR} 2023,
                  Nice, France, May 29 - June 1, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13884},
  pages        = {254--263},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-33271-5\_17},
  doi          = {10.1007/978-3-031-33271-5\_17},
  timestamp    = {Wed, 31 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cpaior/ChembuSK23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/ChmielaGLP23,
  author       = {Antonia Chmiela and
                  Ambros M. Gleixner and
                  Pawel Lichocki and
                  Sebastian Pokutta},
  editor       = {Andr{\'{e}} A. Cir{\'{e}}},
  title        = {Online Learning for Scheduling {MIP} Heuristics},
  booktitle    = {Integration of Constraint Programming, Artificial Intelligence, and
                  Operations Research - 20th International Conference, {CPAIOR} 2023,
                  Nice, France, May 29 - June 1, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13884},
  pages        = {114--123},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-33271-5\_8},
  doi          = {10.1007/978-3-031-33271-5\_8},
  timestamp    = {Wed, 31 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cpaior/ChmielaGLP23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/Cohen23,
  author       = {Eldan Cohen},
  editor       = {Andr{\'{e}} A. Cir{\'{e}}},
  title        = {Interpretable Clustering via Soft Clustering Trees},
  booktitle    = {Integration of Constraint Programming, Artificial Intelligence, and
                  Operations Research - 20th International Conference, {CPAIOR} 2023,
                  Nice, France, May 29 - June 1, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13884},
  pages        = {281--298},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-33271-5\_19},
  doi          = {10.1007/978-3-031-33271-5\_19},
  timestamp    = {Wed, 31 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cpaior/Cohen23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/DakleKUPRRS23,
  author       = {Parag Pravin Dakle and
                  Serdar Kadioglu and
                  Karthik Uppuluri and
                  Regina Politi and
                  Preethi Raghavan and
                  SaiKrishna Rallabandi and
                  Ravisutha Srinivasamurthy},
  editor       = {Andr{\'{e}} A. Cir{\'{e}}},
  title        = {Ner4Opt: Named Entity Recognition for Optimization Modelling from
                  Natural Language},
  booktitle    = {Integration of Constraint Programming, Artificial Intelligence, and
                  Operations Research - 20th International Conference, {CPAIOR} 2023,
                  Nice, France, May 29 - June 1, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13884},
  pages        = {299--319},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-33271-5\_20},
  doi          = {10.1007/978-3-031-33271-5\_20},
  timestamp    = {Fri, 02 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cpaior/DakleKUPRRS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/Dilkas23,
  author       = {Paulius Dilkas},
  editor       = {Andr{\'{e}} A. Cir{\'{e}}},
  title        = {Generating Random Instances of Weighted Model Counting - An Empirical
                  Analysis with Varying Primal Treewidth},
  booktitle    = {Integration of Constraint Programming, Artificial Intelligence, and
                  Operations Research - 20th International Conference, {CPAIOR} 2023,
                  Nice, France, May 29 - June 1, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13884},
  pages        = {395--416},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-33271-5\_26},
  doi          = {10.1007/978-3-031-33271-5\_26},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cpaior/Dilkas23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/EfthymiouY23,
  author       = {Nikolaos Efthymiou and
                  Neil Yorke{-}Smith},
  editor       = {Andr{\'{e}} A. Cir{\'{e}}},
  title        = {Predicting the Optimal Period for Cyclic Hoist Scheduling Problems},
  booktitle    = {Integration of Constraint Programming, Artificial Intelligence, and
                  Operations Research - 20th International Conference, {CPAIOR} 2023,
                  Nice, France, May 29 - June 1, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13884},
  pages        = {238--253},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-33271-5\_16},
  doi          = {10.1007/978-3-031-33271-5\_16},
  timestamp    = {Fri, 02 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cpaior/EfthymiouY23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/ElArabyWC23,
  author       = {Mostafa ElAraby and
                  Guy Wolf and
                  Margarida Carvalho},
  editor       = {Andr{\'{e}} A. Cir{\'{e}}},
  title        = {{OAMIP:} Optimizing {ANN} Architectures Using Mixed-Integer Programming},
  booktitle    = {Integration of Constraint Programming, Artificial Intelligence, and
                  Operations Research - 20th International Conference, {CPAIOR} 2023,
                  Nice, France, May 29 - June 1, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13884},
  pages        = {219--237},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-33271-5\_15},
  doi          = {10.1007/978-3-031-33271-5\_15},
  timestamp    = {Wed, 31 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cpaior/ElArabyWC23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/FerberGDKG23,
  author       = {Aaron M. Ferber and
                  Emily Griffin and
                  Bistra Dilkina and
                  Burcu B. Keskin and
                  Meredith Gore},
  editor       = {Andr{\'{e}} A. Cir{\'{e}}},
  title        = {Predicting Wildlife Trafficking Routes with Differentiable Shortest
                  Paths},
  booktitle    = {Integration of Constraint Programming, Artificial Intelligence, and
                  Operations Research - 20th International Conference, {CPAIOR} 2023,
                  Nice, France, May 29 - June 1, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13884},
  pages        = {460--476},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-33271-5\_30},
  doi          = {10.1007/978-3-031-33271-5\_30},
  timestamp    = {Wed, 31 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cpaior/FerberGDKG23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/GentzelMH23,
  author       = {Rebecca Gentzel and
                  Laurent Michel and
                  Willem{-}Jan van Hoeve},
  editor       = {Andr{\'{e}} A. Cir{\'{e}}},
  title        = {Optimization Bounds from Decision Diagrams in Haddock},
  booktitle    = {Integration of Constraint Programming, Artificial Intelligence, and
                  Operations Research - 20th International Conference, {CPAIOR} 2023,
                  Nice, France, May 29 - June 1, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13884},
  pages        = {150--166},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-33271-5\_11},
  doi          = {10.1007/978-3-031-33271-5\_11},
  timestamp    = {Fri, 02 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cpaior/GentzelMH23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/GindullinBCDQ23,
  author       = {Ramiz Gindullin and
                  Nicolas Beldiceanu and
                  Jovial Cheukam{-}Ngouonou and
                  R{\'{e}}mi Douence and
                  Claude{-}Guy Quimper},
  editor       = {Andr{\'{e}} A. Cir{\'{e}}},
  title        = {Boolean-Arithmetic Equations: Acquisition and Uses},
  booktitle    = {Integration of Constraint Programming, Artificial Intelligence, and
                  Operations Research - 20th International Conference, {CPAIOR} 2023,
                  Nice, France, May 29 - June 1, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13884},
  pages        = {378--394},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-33271-5\_25},
  doi          = {10.1007/978-3-031-33271-5\_25},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cpaior/GindullinBCDQ23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/HojnyP23,
  author       = {Christopher Hojny and
                  Marc E. Pfetsch},
  editor       = {Andr{\'{e}} A. Cir{\'{e}}},
  title        = {Handling Symmetries in Mixed-Integer Semidefinite Programs},
  booktitle    = {Integration of Constraint Programming, Artificial Intelligence, and
                  Operations Research - 20th International Conference, {CPAIOR} 2023,
                  Nice, France, May 29 - June 1, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13884},
  pages        = {69--78},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-33271-5\_5},
  doi          = {10.1007/978-3-031-33271-5\_5},
  timestamp    = {Fri, 02 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cpaior/HojnyP23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/HuLL23,
  author       = {Xinyi Hu and
                  Jasper C. H. Lee and
                  Jimmy H. M. Lee},
  editor       = {Andr{\'{e}} A. Cir{\'{e}}},
  title        = {Branch {\&} Learn with Post-hoc Correction for Predict+Optimize
                  with Unknown Parameters in Constraints},
  booktitle    = {Integration of Constraint Programming, Artificial Intelligence, and
                  Operations Research - 20th International Conference, {CPAIOR} 2023,
                  Nice, France, May 29 - June 1, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13884},
  pages        = {264--280},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-33271-5\_18},
  doi          = {10.1007/978-3-031-33271-5\_18},
  timestamp    = {Wed, 31 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cpaior/HuLL23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/HuangFTDS23,
  author       = {Taoan Huang and
                  Aaron M. Ferber and
                  Yuandong Tian and
                  Bistra Dilkina and
                  Benoit Steiner},
  editor       = {Andr{\'{e}} A. Cir{\'{e}}},
  title        = {Local Branching Relaxation Heuristics for Integer Linear Programs},
  booktitle    = {Integration of Constraint Programming, Artificial Intelligence, and
                  Operations Research - 20th International Conference, {CPAIOR} 2023,
                  Nice, France, May 29 - June 1, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13884},
  pages        = {96--113},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-33271-5\_7},
  doi          = {10.1007/978-3-031-33271-5\_7},
  timestamp    = {Fri, 02 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cpaior/HuangFTDS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/ItoKNSSTT23,
  author       = {Takehiro Ito and
                  Jun Kawahara and
                  Yu Nakahata and
                  Takehide Soh and
                  Akira Suzuki and
                  Junichi Teruyama and
                  Takahisa Toda},
  editor       = {Andr{\'{e}} A. Cir{\'{e}}},
  title        = {ZDD-Based Algorithmic Framework for Solving Shortest Reconfiguration
                  Problems},
  booktitle    = {Integration of Constraint Programming, Artificial Intelligence, and
                  Operations Research - 20th International Conference, {CPAIOR} 2023,
                  Nice, France, May 29 - June 1, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13884},
  pages        = {167--183},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-33271-5\_12},
  doi          = {10.1007/978-3-031-33271-5\_12},
  timestamp    = {Wed, 31 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cpaior/ItoKNSSTT23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/ItzhakovC23,
  author       = {Avraham Itzhakov and
                  Michael Codish},
  editor       = {Andr{\'{e}} A. Cir{\'{e}}},
  title        = {Breaking Symmetries with High Dimensional Graph Invariants and Their
                  Combination},
  booktitle    = {Integration of Constraint Programming, Artificial Intelligence, and
                  Operations Research - 20th International Conference, {CPAIOR} 2023,
                  Nice, France, May 29 - June 1, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13884},
  pages        = {133--149},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-33271-5\_10},
  doi          = {10.1007/978-3-031-33271-5\_10},
  timestamp    = {Wed, 31 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cpaior/ItzhakovC23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/JeongSK23,
  author       = {Jihwan Jeong and
                  Scott Sanner and
                  Akshat Kumar},
  editor       = {Andr{\'{e}} A. Cir{\'{e}}},
  title        = {A Mixed-Integer Linear Programming Reduction of Disjoint Bilinear
                  Programs via Symbolic Variable Elimination},
  booktitle    = {Integration of Constraint Programming, Artificial Intelligence, and
                  Operations Research - 20th International Conference, {CPAIOR} 2023,
                  Nice, France, May 29 - June 1, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13884},
  pages        = {79--95},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-33271-5\_6},
  doi          = {10.1007/978-3-031-33271-5\_6},
  timestamp    = {Wed, 31 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cpaior/JeongSK23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/JuvinHL23,
  author       = {Carla Juvin and
                  Laurent Houssin and
                  Pierre Lopez},
  editor       = {Andr{\'{e}} A. Cir{\'{e}}},
  title        = {Constraint Programming for the Robust Two-Machine Flow-Shop Scheduling
                  Problem with Budgeted Uncertainty},
  booktitle    = {Integration of Constraint Programming, Artificial Intelligence, and
                  Operations Research - 20th International Conference, {CPAIOR} 2023,
                  Nice, France, May 29 - June 1, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13884},
  pages        = {354--369},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-33271-5\_23},
  doi          = {10.1007/978-3-031-33271-5\_23},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cpaior/JuvinHL23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/KarahaliosH23,
  author       = {Anthony Karahalios and
                  Willem{-}Jan van Hoeve},
  editor       = {Andr{\'{e}} A. Cir{\'{e}}},
  title        = {Column Elimination for Capacitated Vehicle Routing Problems},
  booktitle    = {Integration of Constraint Programming, Artificial Intelligence, and
                  Operations Research - 20th International Conference, {CPAIOR} 2023,
                  Nice, France, May 29 - June 1, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13884},
  pages        = {35--51},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-33271-5\_3},
  doi          = {10.1007/978-3-031-33271-5\_3},
  timestamp    = {Fri, 02 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cpaior/KarahaliosH23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/KimCMLLP23,
  author       = {Dongyun Kim and
                  Yeonjun Choi and
                  Kyungduk Moon and
                  Myungho Lee and
                  Kangbok Lee and
                  Michael L. Pinedo},
  editor       = {Andr{\'{e}} A. Cir{\'{e}}},
  title        = {Iterated Greedy Constraint Programming for Scheduling Steelmaking
                  Continuous Casting},
  booktitle    = {Integration of Constraint Programming, Artificial Intelligence, and
                  Operations Research - 20th International Conference, {CPAIOR} 2023,
                  Nice, France, May 29 - June 1, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13884},
  pages        = {477--492},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-33271-5\_31},
  doi          = {10.1007/978-3-031-33271-5\_31},
  timestamp    = {Fri, 02 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cpaior/KimCMLLP23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/KorikovB23,
  author       = {Anton Korikov and
                  J. Christopher Beck},
  editor       = {Andr{\'{e}} A. Cir{\'{e}}},
  title        = {Objective-Based Counterfactual Explanations for Linear Discrete Optimization},
  booktitle    = {Integration of Constraint Programming, Artificial Intelligence, and
                  Operations Research - 20th International Conference, {CPAIOR} 2023,
                  Nice, France, May 29 - June 1, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13884},
  pages        = {18--34},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-33271-5\_2},
  doi          = {10.1007/978-3-031-33271-5\_2},
  timestamp    = {Fri, 02 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cpaior/KorikovB23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/MontalbanoAGKW23,
  author       = {Pierre Montalbano and
                  David Allouche and
                  Simon de Givry and
                  George Katsirelos and
                  Tom{\'{a}}s Werner},
  editor       = {Andr{\'{e}} A. Cir{\'{e}}},
  title        = {Virtual Pairwise Consistency in Cost Function Networks},
  booktitle    = {Integration of Constraint Programming, Artificial Intelligence, and
                  Operations Research - 20th International Conference, {CPAIOR} 2023,
                  Nice, France, May 29 - June 1, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13884},
  pages        = {417--426},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-33271-5\_27},
  doi          = {10.1007/978-3-031-33271-5\_27},
  timestamp    = {Wed, 31 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cpaior/MontalbanoAGKW23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/PersakA23,
  author       = {Egon Persak and
                  Miguel F. Anjos},
  editor       = {Andr{\'{e}} A. Cir{\'{e}}},
  title        = {Contextual Robust Optimisation with Uncertainty Quantification},
  booktitle    = {Integration of Constraint Programming, Artificial Intelligence, and
                  Operations Research - 20th International Conference, {CPAIOR} 2023,
                  Nice, France, May 29 - June 1, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13884},
  pages        = {124--132},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-33271-5\_9},
  doi          = {10.1007/978-3-031-33271-5\_9},
  timestamp    = {Fri, 02 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cpaior/PersakA23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/PezzoliP23,
  author       = {Gauthier Pezzoli and
                  Gilles Pesant},
  editor       = {Andr{\'{e}} A. Cir{\'{e}}},
  title        = {A Weighted Counting Algorithm for the Circuit Constraint},
  booktitle    = {Integration of Constraint Programming, Artificial Intelligence, and
                  Operations Research - 20th International Conference, {CPAIOR} 2023,
                  Nice, France, May 29 - June 1, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13884},
  pages        = {370--377},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-33271-5\_24},
  doi          = {10.1007/978-3-031-33271-5\_24},
  timestamp    = {Wed, 31 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cpaior/PezzoliP23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/SantanaLV23,
  author       = {{\'{I}}talo Santana and
                  Andrea Lodi and
                  Thibaut Vidal},
  editor       = {Andr{\'{e}} A. Cir{\'{e}}},
  title        = {Neural Networks for Local Search and Crossover in Vehicle Routing:
                  {A} Possible Overkill?},
  booktitle    = {Integration of Constraint Programming, Artificial Intelligence, and
                  Operations Research - 20th International Conference, {CPAIOR} 2023,
                  Nice, France, May 29 - June 1, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13884},
  pages        = {184--199},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-33271-5\_13},
  doi          = {10.1007/978-3-031-33271-5\_13},
  timestamp    = {Fri, 02 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cpaior/SantanaLV23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/SquillaciPR23,
  author       = {Samuel Squillaci and
                  C{\'{e}}dric Pralet and
                  St{\'{e}}phanie Roussel},
  editor       = {Andr{\'{e}} A. Cir{\'{e}}},
  title        = {Scheduling Complex Observation Requests for a Constellation of Satellites:
                  Large Neighborhood Search Approaches},
  booktitle    = {Integration of Constraint Programming, Artificial Intelligence, and
                  Operations Research - 20th International Conference, {CPAIOR} 2023,
                  Nice, France, May 29 - June 1, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13884},
  pages        = {443--459},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-33271-5\_29},
  doi          = {10.1007/978-3-031-33271-5\_29},
  timestamp    = {Wed, 31 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cpaior/SquillaciPR23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/TardivoDFMP23,
  author       = {Fabio Tardivo and
                  Agostino Dovier and
                  Andrea Formisano and
                  Laurent Michel and
                  Enrico Pontelli},
  editor       = {Andr{\'{e}} A. Cir{\'{e}}},
  title        = {Constraint Propagation on {GPU:} {A} Case Study for the Cumulative
                  Constraint},
  booktitle    = {Integration of Constraint Programming, Artificial Intelligence, and
                  Operations Research - 20th International Conference, {CPAIOR} 2023,
                  Nice, France, May 29 - June 1, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13884},
  pages        = {336--353},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-33271-5\_22},
  doi          = {10.1007/978-3-031-33271-5\_22},
  timestamp    = {Fri, 02 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cpaior/TardivoDFMP23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/TranPF23,
  author       = {Trong{-}Hieu Tran and
                  C{\'{e}}dric Pralet and
                  H{\'{e}}l{\`{e}}ne Fargier},
  editor       = {Andr{\'{e}} A. Cir{\'{e}}},
  title        = {Combining Incomplete Search and Clause Generation: An Application
                  to the Orienteering Problems with Time Windows},
  booktitle    = {Integration of Constraint Programming, Artificial Intelligence, and
                  Operations Research - 20th International Conference, {CPAIOR} 2023,
                  Nice, France, May 29 - June 1, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13884},
  pages        = {493--509},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-33271-5\_32},
  doi          = {10.1007/978-3-031-33271-5\_32},
  timestamp    = {Wed, 31 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cpaior/TranPF23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/TremblayPD23,
  author       = {Fran{\c{c}}ois{-}Alexandre Tremblay and
                  Dominique Pich{\'{e}}{-}Meunier and
                  Louis Dubois},
  editor       = {Andr{\'{e}} A. Cir{\'{e}}},
  title        = {Multi-objective Optimization for the Design of Salary Structures},
  booktitle    = {Integration of Constraint Programming, Artificial Intelligence, and
                  Operations Research - 20th International Conference, {CPAIOR} 2023,
                  Nice, France, May 29 - June 1, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13884},
  pages        = {427--442},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-33271-5\_28},
  doi          = {10.1007/978-3-031-33271-5\_28},
  timestamp    = {Fri, 02 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cpaior/TremblayPD23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/TurnerBBK23,
  author       = {Mark Turner and
                  Timo Berthold and
                  Mathieu Besan{\c{c}}on and
                  Thorsten Koch},
  editor       = {Andr{\'{e}} A. Cir{\'{e}}},
  title        = {Cutting Plane Selection with Analytic Centers and Multiregression},
  booktitle    = {Integration of Constraint Programming, Artificial Intelligence, and
                  Operations Research - 20th International Conference, {CPAIOR} 2023,
                  Nice, France, May 29 - June 1, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13884},
  pages        = {52--68},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-33271-5\_4},
  doi          = {10.1007/978-3-031-33271-5\_4},
  timestamp    = {Fri, 02 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cpaior/TurnerBBK23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cpaior/2023,
  editor       = {Andr{\'{e}} A. Cir{\'{e}}},
  title        = {Integration of Constraint Programming, Artificial Intelligence, and
                  Operations Research - 20th International Conference, {CPAIOR} 2023,
                  Nice, France, May 29 - June 1, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13884},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-33271-5},
  doi          = {10.1007/978-3-031-33271-5},
  isbn         = {978-3-031-33270-8},
  timestamp    = {Wed, 31 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cpaior/2023.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics