BibTeX records: Pierre Schaus

download as .bib file

@article{DBLP:journals/orf/AogaBVNS24,
  author       = {John O. R. Aoga and
                  Juhee Bae and
                  Stefanija Veljanoska and
                  Siegfried Nijssen and
                  Pierre Schaus},
  title        = {Impact of Weather Factors on Migration Intention Using Machine Learning
                  Algorithms},
  journal      = {Oper. Res. Forum},
  volume       = {5},
  number       = {1},
  pages        = {8},
  year         = {2024},
  url          = {https://doi.org/10.1007/s43069-023-00271-y},
  doi          = {10.1007/S43069-023-00271-Y},
  timestamp    = {Fri, 26 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/orf/AogaBVNS24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/CoppeGS23,
  author       = {Vianney Copp{\'{e}} and
                  Xavier Gillard and
                  Pierre Schaus},
  editor       = {Roland H. C. Yap},
  title        = {Boosting Decision Diagram-Based Branch-And-Bound by Pre-Solving with
                  Aggregate Dynamic Programming},
  booktitle    = {29th International Conference on Principles and Practice of Constraint
                  Programming, {CP} 2023, August 27-31, 2023, Toronto, Canada},
  series       = {LIPIcs},
  volume       = {280},
  pages        = {13:1--13:17},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2023},
  url          = {https://doi.org/10.4230/LIPIcs.CP.2023.13},
  doi          = {10.4230/LIPICS.CP.2023.13},
  timestamp    = {Tue, 26 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/CoppeGS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/DubraySN23,
  author       = {Alexandre Dubray and
                  Pierre Schaus and
                  Siegfried Nijssen},
  editor       = {Roland H. C. Yap},
  title        = {Probabilistic Inference by Projected Weighted Model Counting on Horn
                  Clauses},
  booktitle    = {29th International Conference on Principles and Practice of Constraint
                  Programming, {CP} 2023, August 27-31, 2023, Toronto, Canada},
  series       = {LIPIcs},
  volume       = {280},
  pages        = {15:1--15:17},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2023},
  url          = {https://doi.org/10.4230/LIPIcs.CP.2023.15},
  doi          = {10.4230/LIPICS.CP.2023.15},
  timestamp    = {Tue, 26 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/DubraySN23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/GolenvauxGNS23,
  author       = {Nicolas Golenvaux and
                  Xavier Gillard and
                  Siegfried Nijssen and
                  Pierre Schaus},
  editor       = {Roland H. C. Yap},
  title        = {Partitioning a Map into Homogeneous Contiguous Regions: {A} Branch-And-Bound
                  Approach Using Decision Diagrams (Short Paper)},
  booktitle    = {29th International Conference on Principles and Practice of Constraint
                  Programming, {CP} 2023, August 27-31, 2023, Toronto, Canada},
  series       = {LIPIcs},
  volume       = {280},
  pages        = {45:1--45:10},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2023},
  url          = {https://doi.org/10.4230/LIPIcs.CP.2023.45},
  doi          = {10.4230/LIPICS.CP.2023.45},
  timestamp    = {Tue, 26 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/GolenvauxGNS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eor/DervalS22,
  author       = {Guillaume Derval and
                  Pierre Schaus},
  title        = {Maximal-Sum submatrix search using a hybrid contraint programming/linear
                  programming approach},
  journal      = {Eur. J. Oper. Res.},
  volume       = {297},
  number       = {3},
  pages        = {853--865},
  year         = {2022},
  url          = {https://doi.org/10.1016/j.ejor.2021.06.008},
  doi          = {10.1016/J.EJOR.2021.06.008},
  timestamp    = {Wed, 15 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/eor/DervalS22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/CoppeGS22,
  author       = {Vianney Copp{\'{e}} and
                  Xavier Gillard and
                  Pierre Schaus},
  editor       = {Christine Solnon},
  title        = {Solving the Constrained Single-Row Facility Layout Problem with Decision
                  Diagrams},
  booktitle    = {28th International Conference on Principles and Practice of Constraint
                  Programming, {CP} 2022, July 31 to August 8, 2022, Haifa, Israel},
  series       = {LIPIcs},
  volume       = {235},
  pages        = {14:1--14:18},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2022},
  url          = {https://doi.org/10.4230/LIPIcs.CP.2022.14},
  doi          = {10.4230/LIPICS.CP.2022.14},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cp/CoppeGS22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/DelecluseSH22,
  author       = {Augustin Delecluse and
                  Pierre Schaus and
                  Pascal Van Hentenryck},
  editor       = {Christine Solnon},
  title        = {Sequence Variables for Routing Problems},
  booktitle    = {28th International Conference on Principles and Practice of Constraint
                  Programming, {CP} 2022, July 31 to August 8, 2022, Haifa, Israel},
  series       = {LIPIcs},
  volume       = {235},
  pages        = {19:1--19:17},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2022},
  url          = {https://doi.org/10.4230/LIPIcs.CP.2022.19},
  doi          = {10.4230/LIPICS.CP.2022.19},
  timestamp    = {Wed, 27 Jul 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/DelecluseSH22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dis/DubrayDNS22,
  author       = {Alexandre Dubray and
                  Guillaume Derval and
                  Siegfried Nijssen and
                  Pierre Schaus},
  editor       = {Pascal Poncelet and
                  Dino Ienco},
  title        = {Optimal Decoding of Hidden Markov Models with Consistency Constraints},
  booktitle    = {Discovery Science - 25th International Conference, {DS} 2022, Montpellier,
                  France, October 10-12, 2022, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13601},
  pages        = {407--417},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-18840-4\_29},
  doi          = {10.1007/978-3-031-18840-4\_29},
  timestamp    = {Tue, 08 Aug 2023 09:01:12 +0200},
  biburl       = {https://dblp.org/rec/conf/dis/DubrayDNS22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/GillardS22,
  author       = {Xavier Gillard and
                  Pierre Schaus},
  editor       = {Luc De Raedt},
  title        = {Large Neighborhood Search with Decision Diagrams},
  booktitle    = {Proceedings of the Thirty-First International Joint Conference on
                  Artificial Intelligence, {IJCAI} 2022, Vienna, Austria, 23-29 July
                  2022},
  pages        = {4754--4760},
  publisher    = {ijcai.org},
  year         = {2022},
  url          = {https://doi.org/10.24963/ijcai.2022/659},
  doi          = {10.24963/IJCAI.2022/659},
  timestamp    = {Wed, 27 Jul 2022 16:43:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/GillardS22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kdid/NijssenS22,
  author       = {Siegfried Nijssen and
                  Pierre Schaus},
  editor       = {Bart Goethals and
                  C{\'{e}}line Robardet and
                  Arno Siebes},
  title        = {From Inductive Databases to {DL8.5} (short paper)},
  booktitle    = {Proceedings of the 20th anniversary Workshop on Knowledge Discovery
                  in Inductive Databases co-located with the European Conference on
                  Machine Learning and Principles and Practice of Knowledge Discovery
                  in Databases 2022 {(ECMLPKDD} 2022), Grenoble, France, September 19-23,
                  2022},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {3334},
  pages        = {23--30},
  publisher    = {CEUR-WS.org},
  year         = {2022},
  url          = {https://ceur-ws.org/Vol-3334/KDID2022\_siegfried.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:13 +0100},
  biburl       = {https://dblp.org/rec/conf/kdid/NijssenS22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pkdd/AglinNS22,
  author       = {Ga{\"{e}}l Aglin and
                  Siegfried Nijssen and
                  Pierre Schaus},
  editor       = {Massih{-}Reza Amini and
                  St{\'{e}}phane Canu and
                  Asja Fischer and
                  Tias Guns and
                  Petra Kralj Novak and
                  Grigorios Tsoumakas},
  title        = {Learning Optimal Decision Trees Under Memory Constraints},
  booktitle    = {Machine Learning and Knowledge Discovery in Databases - European Conference,
                  {ECML} {PKDD} 2022, Grenoble, France, September 19-23, 2022, Proceedings,
                  Part {V}},
  series       = {Lecture Notes in Computer Science},
  volume       = {13717},
  pages        = {393--409},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-26419-1\_24},
  doi          = {10.1007/978-3-031-26419-1\_24},
  timestamp    = {Sat, 29 Apr 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pkdd/AglinNS22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pkdd/KiossouSNH22,
  author       = {Harold Silv{\`{e}}re Kiossou and
                  Pierre Schaus and
                  Siegfried Nijssen and
                  Vinas{\'{e}}tan Ratheil Houndji},
  editor       = {Massih{-}Reza Amini and
                  St{\'{e}}phane Canu and
                  Asja Fischer and
                  Tias Guns and
                  Petra Kralj Novak and
                  Grigorios Tsoumakas},
  title        = {Time Constrained {DL8.5} Using Limited Discrepancy Search},
  booktitle    = {Machine Learning and Knowledge Discovery in Databases - European Conference,
                  {ECML} {PKDD} 2022, Grenoble, France, September 19-23, 2022, Proceedings,
                  Part {V}},
  series       = {Lecture Notes in Computer Science},
  volume       = {13717},
  pages        = {443--459},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-26419-1\_27},
  doi          = {10.1007/978-3-031-26419-1\_27},
  timestamp    = {Tue, 28 Mar 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pkdd/KiossouSNH22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/socs/CoppeS22,
  author       = {Vianney Copp{\'{e}} and
                  Pierre Schaus},
  editor       = {Luk{\'{a}}s Chrpa and
                  Alessandro Saetti},
  title        = {A Conflict Avoidance Table for Continuous Conflict-Based Search (Extended
                  Abstract)},
  booktitle    = {Proceedings of the Fifteenth International Symposium on Combinatorial
                  Search, {SOCS} 2022, Vienna, Austria, July 21-23, 2022},
  pages        = {264--266},
  publisher    = {{AAAI} Press},
  year         = {2022},
  url          = {https://doi.org/10.1609/socs.v15i1.21780},
  doi          = {10.1609/SOCS.V15I1.21780},
  timestamp    = {Mon, 18 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/socs/CoppeS22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cpaior/2022,
  editor       = {Pierre Schaus},
  title        = {Integration of Constraint Programming, Artificial Intelligence, and
                  Operations Research - 19th International Conference, {CPAIOR} 2022,
                  Los Angeles, CA, USA, June 20-23, 2022, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13292},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-08011-1},
  doi          = {10.1007/978-3-031-08011-1},
  isbn         = {978-3-031-08010-4},
  timestamp    = {Tue, 14 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cpaior/2022.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2211-13118,
  author       = {Vianney Copp{\'{e}} and
                  Xavier Gillard and
                  Pierre Schaus},
  title        = {Branch-and-Bound with Barrier: Dominance and Suboptimality Detection
                  for DD-Based Branch-and-Bound},
  journal      = {CoRR},
  volume       = {abs/2211.13118},
  year         = {2022},
  url          = {https://doi.org/10.48550/arXiv.2211.13118},
  doi          = {10.48550/ARXIV.2211.13118},
  eprinttype    = {arXiv},
  eprint       = {2211.13118},
  timestamp    = {Tue, 29 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2211-13118.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/MattenetDNS21,
  author       = {Alex Mattenet and
                  Ian Davidson and
                  Siegfried Nijssen and
                  Pierre Schaus},
  title        = {Generic Constraint-based Block Modeling using Constraint Programming},
  journal      = {J. Artif. Intell. Res.},
  volume       = {70},
  pages        = {597--630},
  year         = {2021},
  url          = {https://doi.org/10.1613/jair.1.12280},
  doi          = {10.1613/JAIR.1.12280},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jair/MattenetDNS21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mpc/MichelSH21,
  author       = {Laurent D. Michel and
                  Pierre Schaus and
                  Pascal Van Hentenryck},
  title        = {MiniCP: a lightweight solver for constraint programming},
  journal      = {Math. Program. Comput.},
  volume       = {13},
  number       = {1},
  pages        = {133--184},
  year         = {2021},
  url          = {https://doi.org/10.1007/s12532-020-00190-7},
  doi          = {10.1007/S12532-020-00190-7},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mpc/MichelSH21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/GillardCSC21,
  author       = {Xavier Gillard and
                  Vianney Copp{\'{e}} and
                  Pierre Schaus and
                  Andr{\'{e}} Augusto Cir{\'{e}}},
  editor       = {Peter J. Stuckey},
  title        = {Improving the Filtering of Branch-and-Bound {MDD} Solver},
  booktitle    = {Integration of Constraint Programming, Artificial Intelligence, and
                  Operations Research - 18th International Conference, {CPAIOR} 2021,
                  Vienna, Austria, July 5-8, 2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12735},
  pages        = {231--247},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-78230-6\_15},
  doi          = {10.1007/978-3-030-78230-6\_15},
  timestamp    = {Tue, 13 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cpaior/GillardCSC21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/AglinNS21,
  author       = {Ga{\"{e}}l Aglin and
                  Siegfried Nijssen and
                  Pierre Schaus},
  title        = {Assessing Optimal Forests of Decision Trees},
  booktitle    = {33rd {IEEE} International Conference on Tools with Artificial Intelligence,
                  {ICTAI} 2021, Washington, DC, USA, November 1-3, 2021},
  pages        = {32--39},
  publisher    = {{IEEE}},
  year         = {2021},
  url          = {https://doi.org/10.1109/ICTAI52525.2021.00013},
  doi          = {10.1109/ICTAI52525.2021.00013},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ictai/AglinNS21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itsc/DubrayNTS21,
  author       = {Alexandre Dubray and
                  Siegfried Nijssen and
                  Isabelle Thomas and
                  Pierre Schaus},
  title        = {A Seriation Based Framework to Visualize Multiple Aspects of Road
                  Transport from {GPS} Trajectories},
  booktitle    = {24th {IEEE} International Intelligent Transportation Systems Conference,
                  {ITSC} 2021, Indianapolis, IN, USA, September 19-22, 2021},
  pages        = {1379--1384},
  publisher    = {{IEEE}},
  year         = {2021},
  url          = {https://doi.org/10.1109/ITSC48978.2021.9564973},
  doi          = {10.1109/ITSC48978.2021.9564973},
  timestamp    = {Wed, 03 Nov 2021 08:38:45 +0100},
  biburl       = {https://dblp.org/rec/conf/itsc/DubrayNTS21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2104-11951,
  author       = {Xavier Gillard and
                  Vianney Copp{\'{e}} and
                  Pierre Schaus and
                  Andr{\'{e}} Augusto Cir{\'{e}}},
  title        = {Improving the filtering of Branch-And-Bound {MDD} solver (extended)},
  journal      = {CoRR},
  volume       = {abs/2104.11951},
  year         = {2021},
  url          = {https://arxiv.org/abs/2104.11951},
  eprinttype    = {arXiv},
  eprint       = {2104.11951},
  timestamp    = {Mon, 03 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2104-11951.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/VerhaegheNPQS20,
  author       = {H{\'{e}}l{\`{e}}ne Verhaeghe and
                  Siegfried Nijssen and
                  Gilles Pesant and
                  Claude{-}Guy Quimper and
                  Pierre Schaus},
  title        = {Learning optimal decision trees using constraint programming},
  journal      = {Constraints An Int. J.},
  volume       = {25},
  number       = {3-4},
  pages        = {226--250},
  year         = {2020},
  url          = {https://doi.org/10.1007/s10601-020-09312-3},
  doi          = {10.1007/S10601-020-09312-3},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/constraints/VerhaegheNPQS20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scheduling/CauwelaertDS20,
  author       = {Sascha Van Cauwelaert and
                  Cyrille Dejemeppe and
                  Pierre Schaus},
  title        = {An Efficient Filtering Algorithm for the Unary Resource Constraint
                  with Transition Times and Optional Activities},
  journal      = {J. Sched.},
  volume       = {23},
  number       = {4},
  pages        = {431--449},
  year         = {2020},
  url          = {https://doi.org/10.1007/s10951-019-00632-8},
  doi          = {10.1007/S10951-019-00632-8},
  timestamp    = {Wed, 15 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scheduling/CauwelaertDS20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/AglinNS20,
  author       = {Ga{\"{e}}l Aglin and
                  Siegfried Nijssen and
                  Pierre Schaus},
  title        = {Learning Optimal Decision Trees Using Caching Branch-and-Bound Search},
  booktitle    = {The Thirty-Fourth {AAAI} Conference on Artificial Intelligence, {AAAI}
                  2020, The Thirty-Second Innovative Applications of Artificial Intelligence
                  Conference, {IAAI} 2020, The Tenth {AAAI} Symposium on Educational
                  Advances in Artificial Intelligence, {EAAI} 2020, New York, NY, USA,
                  February 7-12, 2020},
  pages        = {3146--3153},
  publisher    = {{AAAI} Press},
  year         = {2020},
  url          = {https://doi.org/10.1609/aaai.v34i04.5711},
  doi          = {10.1609/AAAI.V34I04.5711},
  timestamp    = {Mon, 04 Sep 2023 12:29:24 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/AglinNS20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/MattenetDNS20,
  author       = {Alex Luc{\'{\i}}a Mattenet and
                  Ian Davidson and
                  Siegfried Nijssen and
                  Pierre Schaus},
  title        = {Constraint Programming for an Efficient and Flexible Block Modeling
                  Solver},
  booktitle    = {The Thirty-Fourth {AAAI} Conference on Artificial Intelligence, {AAAI}
                  2020, The Thirty-Second Innovative Applications of Artificial Intelligence
                  Conference, {IAAI} 2020, The Tenth {AAAI} Symposium on Educational
                  Advances in Artificial Intelligence, {EAAI} 2020, New York, NY, USA,
                  February 7-12, 2020},
  pages        = {13685--13688},
  publisher    = {{AAAI} Press},
  year         = {2020},
  url          = {https://doi.org/10.1609/aaai.v34i09.7121},
  doi          = {10.1609/AAAI.V34I09.7121},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/MattenetDNS20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/ThomasKS20,
  author       = {Charles Thomas and
                  Roger Kameugne and
                  Pierre Schaus},
  editor       = {Emmanuel Hebrard and
                  Nysret Musliu},
  title        = {Insertion Sequence Variables for Hybrid Routing and Scheduling Problems},
  booktitle    = {Integration of Constraint Programming, Artificial Intelligence, and
                  Operations Research - 17th International Conference, {CPAIOR} 2020,
                  Vienna, Austria, September 21-24, 2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12296},
  pages        = {457--474},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-58942-4\_30},
  doi          = {10.1007/978-3-030-58942-4\_30},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cpaior/ThomasKS20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dis/DubrayDNS20,
  author       = {Alexandre Dubray and
                  Guillaume Derval and
                  Siegfried Nijssen and
                  Pierre Schaus},
  editor       = {Annalisa Appice and
                  Grigorios Tsoumakas and
                  Yannis Manolopoulos and
                  Stan Matwin},
  title        = {Mining Constrained Regions of Interest: An Optimization Approach},
  booktitle    = {Discovery Science - 23rd International Conference, {DS} 2020, Thessaloniki,
                  Greece, October 19-21, 2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12323},
  pages        = {630--644},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-61527-7\_41},
  doi          = {10.1007/978-3-030-61527-7\_41},
  timestamp    = {Wed, 21 Oct 2020 14:22:04 +0200},
  biburl       = {https://dblp.org/rec/conf/dis/DubrayDNS20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/VerhaegheNPQS20,
  author       = {H{\'{e}}l{\`{e}}ne Verhaeghe and
                  Siegfried Nijssen and
                  Gilles Pesant and
                  Claude{-}Guy Quimper and
                  Pierre Schaus},
  editor       = {Christian Bessiere},
  title        = {Learning Optimal Decision Trees using Constraint Programming (Extended
                  Abstract)},
  booktitle    = {Proceedings of the Twenty-Ninth International Joint Conference on
                  Artificial Intelligence, {IJCAI} 2020},
  pages        = {4765--4769},
  publisher    = {ijcai.org},
  year         = {2020},
  url          = {https://doi.org/10.24963/ijcai.2020/662},
  doi          = {10.24963/IJCAI.2020/662},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/VerhaegheNPQS20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/AglinNS20,
  author       = {Ga{\"{e}}l Aglin and
                  Siegfried Nijssen and
                  Pierre Schaus},
  editor       = {Christian Bessiere},
  title        = {PyDL8.5: a Library for Learning Optimal Decision Trees},
  booktitle    = {Proceedings of the Twenty-Ninth International Joint Conference on
                  Artificial Intelligence, {IJCAI} 2020},
  pages        = {5222--5224},
  publisher    = {ijcai.org},
  year         = {2020},
  url          = {https://doi.org/10.24963/ijcai.2020/750},
  doi          = {10.24963/IJCAI.2020/750},
  timestamp    = {Wed, 15 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/AglinNS20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/GillardSC20,
  author       = {Xavier Gillard and
                  Pierre Schaus and
                  Vianney Copp{\'{e}}},
  editor       = {Christian Bessiere},
  title        = {Ddo, a Generic and Efficient Framework for MDD-Based Optimization},
  booktitle    = {Proceedings of the Twenty-Ninth International Joint Conference on
                  Artificial Intelligence, {IJCAI} 2020},
  pages        = {5243--5245},
  publisher    = {ijcai.org},
  year         = {2020},
  url          = {https://doi.org/10.24963/ijcai.2020/757},
  doi          = {10.24963/IJCAI.2020/757},
  timestamp    = {Wed, 15 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/GillardSC20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2005-09902,
  author       = {Nicolas Golenvaux and
                  Pablo Gonzalez Alvarez and
                  Harold Silv{\`{e}}re Kiossou and
                  Pierre Schaus},
  title        = {An {LSTM} approach to Predict Migration based on Google Trends},
  journal      = {CoRR},
  volume       = {abs/2005.09902},
  year         = {2020},
  url          = {https://arxiv.org/abs/2005.09902},
  eprinttype    = {arXiv},
  eprint       = {2005.09902},
  timestamp    = {Sat, 23 Jan 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2005-09902.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2006-03560,
  author       = {Harold Silv{\`{e}}re Kiossou and
                  Yannik Schenk and
                  Fr{\'{e}}d{\'{e}}ric Docquier and
                  Vinas{\'{e}}tan Ratheil Houndji and
                  Siegfried Nijssen and
                  Pierre Schaus},
  title        = {Using an interpretable Machine Learning approach to study the drivers
                  of International Migration},
  journal      = {CoRR},
  volume       = {abs/2006.03560},
  year         = {2020},
  url          = {https://arxiv.org/abs/2006.03560},
  eprinttype    = {arXiv},
  eprint       = {2006.03560},
  timestamp    = {Tue, 09 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2006-03560.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2012-02794,
  author       = {John O. R. Aoga and
                  Juhee Bae and
                  Stefanija Veljanoska and
                  Siegfried Nijssen and
                  Pierre Schaus},
  title        = {Impact of weather factors on migration intention using machine learning
                  algorithms},
  journal      = {CoRR},
  volume       = {abs/2012.02794},
  year         = {2020},
  url          = {https://arxiv.org/abs/2012.02794},
  eprinttype    = {arXiv},
  eprint       = {2012.02794},
  timestamp    = {Wed, 09 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2012-02794.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bmcbi/BrandersSD19,
  author       = {Vincent Branders and
                  Pierre Schaus and
                  Pierre Dupont},
  title        = {Identifying gene-specific subgroups: an alternative to biclustering},
  journal      = {{BMC} Bioinform.},
  volume       = {20},
  number       = {1},
  pages        = {625},
  year         = {2019},
  url          = {https://doi.org/10.1186/s12859-019-3289-0},
  doi          = {10.1186/S12859-019-3289-0},
  timestamp    = {Sat, 30 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/bmcbi/BrandersSD19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/HoundjiSW19,
  author       = {Vinas{\'{e}}tan Ratheil Houndji and
                  Pierre Schaus and
                  Laurence A. Wolsey},
  title        = {The item dependent stockingcost constraint},
  journal      = {Constraints An Int. J.},
  volume       = {24},
  number       = {2},
  pages        = {183--209},
  year         = {2019},
  url          = {https://doi.org/10.1007/s10601-018-9300-y},
  doi          = {10.1007/S10601-018-9300-Y},
  timestamp    = {Tue, 18 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/constraints/HoundjiSW19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bnaic/DervalDS19,
  author       = {Guillaume Derval and
                  Fr{\'{e}}d{\'{e}}ric Docquier and
                  Pierre Schaus},
  editor       = {Katrien Beuls and
                  Bart Bogaerts and
                  Gianluca Bontempi and
                  Pierre Geurts and
                  Nick Harley and
                  Bertrand Lebichot and
                  Tom Lenaerts and
                  Gilles Louppe and
                  Paul Van Eecke},
  title        = {An Aggregate Learning Approach for Interpretable Semi-Supervised Population
                  Prediction and Disaggregation Using Ancillary Data},
  booktitle    = {Proceedings of the 31st Benelux Conference on Artificial Intelligence
                  {(BNAIC} 2019) and the 28th Belgian Dutch Conference on Machine Learning
                  (Benelearn 2019), Brussels, Belgium, November 6-8, 2019},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2491},
  publisher    = {CEUR-WS.org},
  year         = {2019},
  url          = {https://ceur-ws.org/Vol-2491/abstract23.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:44 +0100},
  biburl       = {https://dblp.org/rec/conf/bnaic/DervalDS19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bnaic/MattenetDNS19,
  author       = {Alex Mattenet and
                  Ian Davidson and
                  Siegfried Nijssen and
                  Pierre Schaus},
  editor       = {Katrien Beuls and
                  Bart Bogaerts and
                  Gianluca Bontempi and
                  Pierre Geurts and
                  Nick Harley and
                  Bertrand Lebichot and
                  Tom Lenaerts and
                  Gilles Louppe and
                  Paul Van Eecke},
  title        = {Generic Constraint-Based Block Modeling Using Constraint Programming},
  booktitle    = {Proceedings of the 31st Benelux Conference on Artificial Intelligence
                  {(BNAIC} 2019) and the 28th Belgian Dutch Conference on Machine Learning
                  (Benelearn 2019), Brussels, Belgium, November 6-8, 2019},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2491},
  publisher    = {CEUR-WS.org},
  year         = {2019},
  url          = {https://ceur-ws.org/Vol-2491/abstract91.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/bnaic/MattenetDNS19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bnaic/VerhaegheNPQS19,
  author       = {H{\'{e}}l{\`{e}}ne Verhaeghe and
                  Siegfried Nijssen and
                  Gilles Pesant and
                  Claude{-}Guy Quimper and
                  Pierre Schaus},
  editor       = {Katrien Beuls and
                  Bart Bogaerts and
                  Gianluca Bontempi and
                  Pierre Geurts and
                  Nick Harley and
                  Bertrand Lebichot and
                  Tom Lenaerts and
                  Gilles Louppe and
                  Paul Van Eecke},
  title        = {Learning Optimal Decision Trees Using Constraint Programming},
  booktitle    = {Proceedings of the 31st Benelux Conference on Artificial Intelligence
                  {(BNAIC} 2019) and the 28th Belgian Dutch Conference on Machine Learning
                  (Benelearn 2019), Brussels, Belgium, November 6-8, 2019},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2491},
  publisher    = {CEUR-WS.org},
  year         = {2019},
  url          = {https://ceur-ws.org/Vol-2491/abstract109.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/bnaic/VerhaegheNPQS19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/GillardSD19,
  author       = {Xavier Gillard and
                  Pierre Schaus and
                  Yves Deville},
  editor       = {Thomas Schiex and
                  Simon de Givry},
  title        = {SolverCheck: Declarative Testing of Constraints},
  booktitle    = {Principles and Practice of Constraint Programming - 25th International
                  Conference, {CP} 2019, Stamford, CT, USA, September 30 - October 4,
                  2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11802},
  pages        = {565--582},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-30048-7\_33},
  doi          = {10.1007/978-3-030-30048-7\_33},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/GillardSD19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/AogaNS19,
  author       = {John O. R. Aoga and
                  Siegfried Nijssen and
                  Pierre Schaus},
  editor       = {Thomas Schiex and
                  Simon de Givry},
  title        = {Modeling Pattern Set Mining Using Boolean Circuits},
  booktitle    = {Principles and Practice of Constraint Programming - 25th International
                  Conference, {CP} 2019, Stamford, CT, USA, September 30 - October 4,
                  2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11802},
  pages        = {621--638},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-30048-7\_36},
  doi          = {10.1007/978-3-030-30048-7\_36},
  timestamp    = {Sat, 12 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/AogaNS19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/MattenetDNS19,
  author       = {Alex Mattenet and
                  Ian Davidson and
                  Siegfried Nijssen and
                  Pierre Schaus},
  editor       = {Thomas Schiex and
                  Simon de Givry},
  title        = {Generic Constraint-Based Block Modeling Using Constraint Programming},
  booktitle    = {Principles and Practice of Constraint Programming - 25th International
                  Conference, {CP} 2019, Stamford, CT, USA, September 30 - October 4,
                  2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11802},
  pages        = {656--673},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-30048-7\_38},
  doi          = {10.1007/978-3-030-30048-7\_38},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/MattenetDNS19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/DervalBDS19,
  author       = {Guillaume Derval and
                  Vincent Branders and
                  Pierre Dupont and
                  Pierre Schaus},
  editor       = {Louis{-}Martin Rousseau and
                  Kostas Stergiou},
  title        = {The Maximum Weighted Submatrix Coverage Problem: {A} {CP} Approach},
  booktitle    = {Integration of Constraint Programming, Artificial Intelligence, and
                  Operations Research - 16th International Conference, {CPAIOR} 2019,
                  Thessaloniki, Greece, June 4-7, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11494},
  pages        = {258--274},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-19212-9\_17},
  doi          = {10.1007/978-3-030-19212-9\_17},
  timestamp    = {Fri, 31 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cpaior/DervalBDS19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/VerhaegheLS19,
  author       = {H{\'{e}}l{\`{e}}ne Verhaeghe and
                  Christophe Lecoutre and
                  Pierre Schaus},
  editor       = {Louis{-}Martin Rousseau and
                  Kostas Stergiou},
  title        = {Extending Compact-Diagram to Basic Smart Multi-Valued Variable Diagrams},
  booktitle    = {Integration of Constraint Programming, Artificial Intelligence, and
                  Operations Research - 16th International Conference, {CPAIOR} 2019,
                  Thessaloniki, Greece, June 4-7, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11494},
  pages        = {581--598},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-19212-9\_39},
  doi          = {10.1007/978-3-030-19212-9\_39},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cpaior/VerhaegheLS19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dis/BrandersDSD19,
  author       = {Vincent Branders and
                  Guillaume Derval and
                  Pierre Schaus and
                  Pierre Dupont},
  editor       = {Petra Kralj Novak and
                  Tomislav Smuc and
                  Saso Dzeroski},
  title        = {Mining a Maximum Weighted Set of Disjoint Submatrices},
  booktitle    = {Discovery Science - 22nd International Conference, {DS} 2019, Split,
                  Croatia, October 28-30, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11828},
  pages        = {18--28},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-33778-0\_2},
  doi          = {10.1007/978-3-030-33778-0\_2},
  timestamp    = {Thu, 07 Nov 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dis/BrandersDSD19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/infocom/JadinASB19,
  author       = {Mathieu Jadin and
                  Francois Aubry and
                  Pierre Schaus and
                  Olivier Bonaventure},
  title        = {{CG4SR:} Near Optimal Traffic Engineering for Segment Routing with
                  Column Generation},
  booktitle    = {2019 {IEEE} Conference on Computer Communications, {INFOCOM} 2019,
                  Paris, France, April 29 - May 2, 2019},
  pages        = {1333--1341},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/INFOCOM.2019.8737424},
  doi          = {10.1109/INFOCOM.2019.8737424},
  timestamp    = {Wed, 16 Oct 2019 14:14:51 +0200},
  biburl       = {https://dblp.org/rec/conf/infocom/JadinASB19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pkdd/DervalDS19,
  author       = {Guillaume Derval and
                  Fr{\'{e}}d{\'{e}}ric Docquier and
                  Pierre Schaus},
  editor       = {Ulf Brefeld and
                  {\'{E}}lisa Fromont and
                  Andreas Hotho and
                  Arno J. Knobbe and
                  Marloes H. Maathuis and
                  C{\'{e}}line Robardet},
  title        = {An Aggregate Learning Approach for Interpretable Semi-supervised Population
                  Prediction and Disaggregation Using Ancillary Data},
  booktitle    = {Machine Learning and Knowledge Discovery in Databases - European Conference,
                  {ECML} {PKDD} 2019, W{\"{u}}rzburg, Germany, September 16-20,
                  2019, Proceedings, Part {III}},
  series       = {Lecture Notes in Computer Science},
  volume       = {11908},
  pages        = {672--687},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-46133-1\_40},
  doi          = {10.1007/978-3-030-46133-1\_40},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pkdd/DervalDS19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1907-00270,
  author       = {Guillaume Derval and
                  Fr{\'{e}}d{\'{e}}ric Docquier and
                  Pierre Schaus},
  title        = {An aggregate learning approach for interpretable semi-supervised population
                  prediction and disaggregation using ancillary data},
  journal      = {CoRR},
  volume       = {abs/1907.00270},
  year         = {2019},
  url          = {http://arxiv.org/abs/1907.00270},
  eprinttype    = {arXiv},
  eprint       = {1907.00270},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1907-00270.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/CauwelaertLS18,
  author       = {Sascha Van Cauwelaert and
                  Michele Lombardi and
                  Pierre Schaus},
  title        = {How efficient is a global constraint in practice? - {A} fair experimental
                  framework},
  journal      = {Constraints An Int. J.},
  volume       = {23},
  number       = {1},
  pages        = {87--122},
  year         = {2018},
  url          = {https://doi.org/10.1007/s10601-017-9277-y},
  doi          = {10.1007/S10601-017-9277-Y},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/constraints/CauwelaertLS18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/DervalRS18,
  author       = {Guillaume Derval and
                  Jean{-}Charles R{\'{e}}gin and
                  Pierre Schaus},
  title        = {Improved filtering for the bin-packing with cardinality constraint},
  journal      = {Constraints An Int. J.},
  volume       = {23},
  number       = {3},
  pages        = {251--271},
  year         = {2018},
  url          = {https://doi.org/10.1007/s10601-017-9278-x},
  doi          = {10.1007/S10601-017-9278-X},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/constraints/DervalRS18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/Cappart0SR18,
  author       = {Quentin Cappart and
                  Charles Thomas and
                  Pierre Schaus and
                  Louis{-}Martin Rousseau},
  editor       = {John N. Hooker},
  title        = {A Constraint Programming Approach for Solving Patient Transportation
                  Problems},
  booktitle    = {Principles and Practice of Constraint Programming - 24th International
                  Conference, {CP} 2018, Lille, France, August 27-31, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11008},
  pages        = {490--506},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-98334-9\_32},
  doi          = {10.1007/978-3-319-98334-9\_32},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/Cappart0SR18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/CappartAS18,
  author       = {Quentin Cappart and
                  John O. R. Aoga and
                  Pierre Schaus},
  editor       = {Willem Jan van Hoeve},
  title        = {EpisodeSupport: {A} Global Constraint for Mining Frequent Patterns
                  in a Long Sequence of Events},
  booktitle    = {Integration of Constraint Programming, Artificial Intelligence, and
                  Operations Research - 15th International Conference, {CPAIOR} 2018,
                  Delft, The Netherlands, June 26-29, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10848},
  pages        = {82--99},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-93031-2\_7},
  doi          = {10.1007/978-3-319-93031-2\_7},
  timestamp    = {Tue, 14 May 2019 10:00:47 +0200},
  biburl       = {https://dblp.org/rec/conf/cpaior/CappartAS18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/KhongLSD18,
  author       = {Minh Thanh Khong and
                  Christophe Lecoutre and
                  Pierre Schaus and
                  Yves Deville},
  editor       = {Willem Jan van Hoeve},
  title        = {Soft-Regular with a Prefix-Size Violation Measure},
  booktitle    = {Integration of Constraint Programming, Artificial Intelligence, and
                  Operations Research - 15th International Conference, {CPAIOR} 2018,
                  Delft, The Netherlands, June 26-29, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10848},
  pages        = {333--343},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-93031-2\_24},
  doi          = {10.1007/978-3-319-93031-2\_24},
  timestamp    = {Mon, 11 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cpaior/KhongLSD18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/ThomasS18,
  author       = {Charles Thomas and
                  Pierre Schaus},
  editor       = {Willem Jan van Hoeve},
  title        = {Revisiting the Self-adaptive Large Neighborhood Search},
  booktitle    = {Integration of Constraint Programming, Artificial Intelligence, and
                  Operations Research - 15th International Conference, {CPAIOR} 2018,
                  Delft, The Netherlands, June 26-29, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10848},
  pages        = {557--566},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-93031-2\_40},
  doi          = {10.1007/978-3-319-93031-2\_40},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cpaior/ThomasS18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dis/AogaGNS18,
  author       = {John O. R. Aoga and
                  Tias Guns and
                  Siegfried Nijssen and
                  Pierre Schaus},
  editor       = {Larisa N. Soldatova and
                  Joaquin Vanschoren and
                  George A. Papadopoulos and
                  Michelangelo Ceci},
  title        = {Finding Probabilistic Rule Lists using the Minimum Description Length
                  Principle},
  booktitle    = {Discovery Science - 21st International Conference, {DS} 2018, Limassol,
                  Cyprus, October 29-31, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11198},
  pages        = {66--82},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-030-01771-2\_5},
  doi          = {10.1007/978-3-030-01771-2\_5},
  timestamp    = {Mon, 28 Aug 2023 21:17:13 +0200},
  biburl       = {https://dblp.org/rec/conf/dis/AogaGNS18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/VerhaegheLS18,
  author       = {H{\'{e}}l{\`{e}}ne Verhaeghe and
                  Christophe Lecoutre and
                  Pierre Schaus},
  editor       = {J{\'{e}}r{\^{o}}me Lang},
  title        = {Compact-MDD: Efficiently Filtering (s)MDD Constraints with Reversible
                  Sparse Bit-sets},
  booktitle    = {Proceedings of the Twenty-Seventh International Joint Conference on
                  Artificial Intelligence, {IJCAI} 2018, July 13-19, 2018, Stockholm,
                  Sweden},
  pages        = {1383--1389},
  publisher    = {ijcai.org},
  year         = {2018},
  url          = {https://doi.org/10.24963/ijcai.2018/192},
  doi          = {10.24963/IJCAI.2018/192},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/VerhaegheLS18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1807-03975,
  author       = {Aur{\'{e}}lie Massart and
                  Valentin Rombouts and
                  Pierre Schaus},
  title        = {Testing Global Constraints},
  journal      = {CoRR},
  volume       = {abs/1807.03975},
  year         = {2018},
  url          = {http://arxiv.org/abs/1807.03975},
  eprinttype    = {arXiv},
  eprint       = {1807.03975},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1807-03975.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/CauwelaertS17,
  author       = {Sascha Van Cauwelaert and
                  Pierre Schaus},
  title        = {Efficient filtering for the Resource-Cost AllDifferent constraint},
  journal      = {Constraints An Int. J.},
  volume       = {22},
  number       = {4},
  pages        = {493--511},
  year         = {2017},
  url          = {https://doi.org/10.1007/s10601-017-9269-y},
  doi          = {10.1007/S10601-017-9269-Y},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/constraints/CauwelaertS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/AogaGS17,
  author       = {John O. R. Aoga and
                  Tias Guns and
                  Pierre Schaus},
  title        = {Mining Time-constrained Sequential Patterns with Constraint Programming},
  journal      = {Constraints An Int. J.},
  volume       = {22},
  number       = {4},
  pages        = {548--570},
  year         = {2017},
  url          = {https://doi.org/10.1007/s10601-017-9272-3},
  doi          = {10.1007/S10601-017-9272-3},
  timestamp    = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/constraints/AogaGS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/VerhaegheLS17,
  author       = {H{\'{e}}l{\`{e}}ne Verhaeghe and
                  Christophe Lecoutre and
                  Pierre Schaus},
  editor       = {Satinder Singh and
                  Shaul Markovitch},
  title        = {Extending Compact-Table to Negative and Short Tables},
  booktitle    = {Proceedings of the Thirty-First {AAAI} Conference on Artificial Intelligence,
                  February 4-9, 2017, San Francisco, California, {USA}},
  pages        = {3951--3957},
  publisher    = {{AAAI} Press},
  year         = {2017},
  url          = {https://doi.org/10.1609/aaai.v31i1.11127},
  doi          = {10.1609/AAAI.V31I1.11127},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/VerhaegheLS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/VerhaegheLDS17,
  author       = {H{\'{e}}l{\`{e}}ne Verhaeghe and
                  Christophe Lecoutre and
                  Yves Deville and
                  Pierre Schaus},
  editor       = {J. Christopher Beck},
  title        = {Extending Compact-Table to Basic Smart Tables},
  booktitle    = {Principles and Practice of Constraint Programming - 23rd International
                  Conference, {CP} 2017, Melbourne, VIC, Australia, August 28 - September
                  1, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10416},
  pages        = {297--307},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-66158-2\_19},
  doi          = {10.1007/978-3-319-66158-2\_19},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/VerhaegheLDS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/SchausAG17,
  author       = {Pierre Schaus and
                  John O. R. Aoga and
                  Tias Guns},
  editor       = {J. Christopher Beck},
  title        = {CoverSize: {A} Global Constraint for Frequency-Based Itemset Mining},
  booktitle    = {Principles and Practice of Constraint Programming - 23rd International
                  Conference, {CP} 2017, Melbourne, VIC, Australia, August 28 - September
                  1, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10416},
  pages        = {529--546},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-66158-2\_34},
  doi          = {10.1007/978-3-319-66158-2\_34},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cp/SchausAG17.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/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/hase/CappartLSQTL17,
  author       = {Quentin Cappart and
                  Christophe Limbr{\'{e}}e and
                  Pierre Schaus and
                  Jean Quilbeuf and
                  Louis{-}Marie Traonouez and
                  Axel Legay},
  title        = {Verification of Interlocking Systems Using Statistical Model Checking},
  booktitle    = {18th {IEEE} International Symposium on High Assurance Systems Engineering,
                  {HASE} 2017, Singapore, January 12-14, 2017},
  pages        = {61--68},
  publisher    = {{IEEE} Computer Society},
  year         = {2017},
  url          = {https://doi.org/10.1109/HASE.2017.10},
  doi          = {10.1109/HASE.2017.10},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hase/CappartLSQTL17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/KhongDSL17,
  author       = {Minh Thanh Khong and
                  Yves Deville and
                  Pierre Schaus and
                  Christophe Lecoutre},
  title        = {Efficient Reification of Table Constraints},
  booktitle    = {29th {IEEE} International Conference on Tools with Artificial Intelligence,
                  {ICTAI} 2017, Boston, MA, USA, November 6-8, 2017},
  pages        = {118--122},
  publisher    = {{IEEE} Computer Society},
  year         = {2017},
  url          = {https://doi.org/10.1109/ICTAI.2017.00029},
  doi          = {10.1109/ICTAI.2017.00029},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ictai/KhongDSL17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pkdd/BrandersSD17,
  author       = {Vincent Branders and
                  Pierre Schaus and
                  Pierre Dupont},
  editor       = {Annalisa Appice and
                  Corrado Loglisci and
                  Giuseppe Manco and
                  Elio Masciari and
                  Zbigniew W. Ras},
  title        = {Combinatorial Optimization Algorithms to Mine a Sub-Matrix of Maximal
                  Sum},
  booktitle    = {New Frontiers in Mining Complex Patterns - 6th International Workshop,
                  {NFMCP} 2017, Held in Conjunction with {ECML-PKDD} 2017, Skopje, Macedonia,
                  September 18-22, 2017, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {10785},
  pages        = {65--79},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-78680-3\_5},
  doi          = {10.1007/978-3-319-78680-3\_5},
  timestamp    = {Thu, 05 Dec 2019 17:07:16 +0100},
  biburl       = {https://dblp.org/rec/conf/pkdd/BrandersSD17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/CauwelaertLS17,
  author       = {Sascha Van Cauwelaert and
                  Michele Lombardi and
                  Pierre Schaus},
  title        = {A Visual Web Tool to Perform What-If Analysis of Optimization Approaches},
  journal      = {CoRR},
  volume       = {abs/1703.06042},
  year         = {2017},
  url          = {http://arxiv.org/abs/1703.06042},
  eprinttype    = {arXiv},
  eprint       = {1703.06042},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/CauwelaertLS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1709-08461,
  author       = {Vincent Branders and
                  Pierre Schaus and
                  Pierre Dupont},
  title        = {Mining a Sub-Matrix of Maximal Sum},
  journal      = {CoRR},
  volume       = {abs/1709.08461},
  year         = {2017},
  url          = {http://arxiv.org/abs/1709.08461},
  eprinttype    = {arXiv},
  eprint       = {1709.08461},
  timestamp    = {Sat, 23 Jan 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1709-08461.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1710-08665,
  author       = {Steven Gay and
                  Pierre Schaus and
                  Stefano Vissicchio},
  title        = {{REPETITA:} Repeatable Experiments for Performance Evaluation of Traffic-Engineering
                  Algorithms},
  journal      = {CoRR},
  volume       = {abs/1710.08665},
  year         = {2017},
  url          = {http://arxiv.org/abs/1710.08665},
  eprinttype    = {arXiv},
  eprint       = {1710.08665},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1710-08665.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/DemeulenaereHLP16,
  author       = {Jordan Demeulenaere and
                  Renaud Hartert and
                  Christophe Lecoutre and
                  Guillaume Perez and
                  Laurent Perron and
                  Jean{-}Charles R{\'{e}}gin and
                  Pierre Schaus},
  editor       = {Michel Rueher},
  title        = {Compact-Table: Efficiently Filtering Table Constraints with Reversible
                  Sparse Bit-Sets},
  booktitle    = {Principles and Practice of Constraint Programming - 22nd International
                  Conference, {CP} 2016, Toulouse, France, September 5-9, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9892},
  pages        = {207--223},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-44953-1\_14},
  doi          = {10.1007/978-3-319-44953-1\_14},
  timestamp    = {Tue, 14 May 2019 10:00:45 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/DemeulenaereHLP16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/PalmieriRS16,
  author       = {Anthony Palmieri and
                  Jean{-}Charles R{\'{e}}gin and
                  Pierre Schaus},
  editor       = {Michel Rueher},
  title        = {Parallel Strategies Selection},
  booktitle    = {Principles and Practice of Constraint Programming - 22nd International
                  Conference, {CP} 2016, Toulouse, France, September 5-9, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9892},
  pages        = {388--404},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-44953-1\_25},
  doi          = {10.1007/978-3-319-44953-1\_25},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/PalmieriRS16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/CauwelaertDMS16,
  author       = {Sascha Van Cauwelaert and
                  Cyrille Dejemeppe and
                  Jean{-}No{\"{e}}l Monette and
                  Pierre Schaus},
  editor       = {Michel Rueher},
  title        = {Efficient Filtering for the Unary Resource with Family-Based Transition
                  Times},
  booktitle    = {Principles and Practice of Constraint Programming - 22nd International
                  Conference, {CP} 2016, Toulouse, France, September 5-9, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9892},
  pages        = {520--535},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-44953-1\_33},
  doi          = {10.1007/978-3-319-44953-1\_33},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/CauwelaertDMS16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/DejemeppeDLS16,
  author       = {Cyrille Dejemeppe and
                  Olivier Devolder and
                  Victor Lecomte and
                  Pierre Schaus},
  editor       = {Claude{-}Guy Quimper},
  title        = {Forward-Checking Filtering for Nested Cardinality Constraints: Application
                  to an Energy Cost-Aware Production Planning Problem for Tissue Manufacturing},
  booktitle    = {Integration of {AI} and {OR} Techniques in Constraint Programming
                  - 13th International Conference, {CPAIOR} 2016, Banff, AB, Canada,
                  May 29 - June 1, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9676},
  pages        = {108--124},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-33954-2\_9},
  doi          = {10.1007/978-3-319-33954-2\_9},
  timestamp    = {Tue, 14 May 2019 10:00:47 +0200},
  biburl       = {https://dblp.org/rec/conf/cpaior/DejemeppeDLS16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pkdd/AogaGS16,
  author       = {John O. R. Aoga and
                  Tias Guns and
                  Pierre Schaus},
  editor       = {Paolo Frasconi and
                  Niels Landwehr and
                  Giuseppe Manco and
                  Jilles Vreeken},
  title        = {An Efficient Algorithm for Mining Frequent Sequence with Constraint
                  Programming},
  booktitle    = {Machine Learning and Knowledge Discovery in Databases - European Conference,
                  {ECML} {PKDD} 2016, Riva del Garda, Italy, September 19-23, 2016,
                  Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {9852},
  pages        = {315--330},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-46227-1\_20},
  doi          = {10.1007/978-3-319-46227-1\_20},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pkdd/AogaGS16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/CappartS16,
  author       = {Quentin Cappart and
                  Pierre Schaus},
  editor       = {Amund Skavhaug and
                  J{\'{e}}r{\'{e}}mie Guiochet and
                  Friedemann Bitsch},
  title        = {A Dedicated Algorithm for Verification of Interlocking Systems},
  booktitle    = {Computer Safety, Reliability, and Security - 35th International Conference,
                  {SAFECOMP} 2016, Trondheim, Norway, September 21-23, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9922},
  pages        = {76--87},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-45477-1\_7},
  doi          = {10.1007/978-3-319-45477-1\_7},
  timestamp    = {Tue, 14 May 2019 10:00:44 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/CappartS16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AogaGS16,
  author       = {John O. R. Aoga and
                  Tias Guns and
                  Pierre Schaus},
  title        = {An Efficient Algorithm for Mining Frequent Sequence with Constraint
                  Programming},
  journal      = {CoRR},
  volume       = {abs/1604.01166},
  year         = {2016},
  url          = {http://arxiv.org/abs/1604.01166},
  eprinttype    = {arXiv},
  eprint       = {1604.01166},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/AogaGS16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/PalmieriRS16,
  author       = {Anthony Palmieri and
                  Jean{-}Charles R{\'{e}}gin and
                  Pierre Schaus},
  title        = {Parallel Strategies Selection},
  journal      = {CoRR},
  volume       = {abs/1604.06484},
  year         = {2016},
  url          = {http://arxiv.org/abs/1604.06484},
  eprinttype    = {arXiv},
  eprint       = {1604.06484},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/PalmieriRS16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/DemeulenaereHLP16,
  author       = {Jordan Demeulenaere and
                  Renaud Hartert and
                  Christophe Lecoutre and
                  Guillaume Perez and
                  Laurent Perron and
                  Jean{-}Charles R{\'{e}}gin and
                  Pierre Schaus},
  title        = {Compact-Table: Efficiently Filtering Table Constraints with Reversible
                  Sparse Bit-Sets},
  journal      = {CoRR},
  volume       = {abs/1604.06641},
  year         = {2016},
  url          = {http://arxiv.org/abs/1604.06641},
  eprinttype    = {arXiv},
  eprint       = {1604.06641},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/DemeulenaereHLP16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/CappartLSQTL16,
  author       = {Quentin Cappart and
                  Christophe Limbr{\'{e}}e and
                  Pierre Schaus and
                  Jean Quilbeuf and
                  Louis{-}Marie Traonouez and
                  Axel Legay},
  title        = {Verification of interlocking systems using statistical model checking},
  journal      = {CoRR},
  volume       = {abs/1605.02529},
  year         = {2016},
  url          = {http://arxiv.org/abs/1605.02529},
  eprinttype    = {arXiv},
  eprint       = {1605.02529},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/CappartLSQTL16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/DejemeppeCS15,
  author       = {Cyrille Dejemeppe and
                  Sascha Van Cauwelaert and
                  Pierre Schaus},
  editor       = {Gilles Pesant},
  title        = {The Unary Resource with Transition Times},
  booktitle    = {Principles and Practice of Constraint Programming - 21st International
                  Conference, {CP} 2015, Cork, Ireland, August 31 - September 4, 2015,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9255},
  pages        = {89--104},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-23219-5\_7},
  doi          = {10.1007/978-3-319-23219-5\_7},
  timestamp    = {Tue, 14 May 2019 10:00:45 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/DejemeppeCS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/GayHLS15,
  author       = {Steven Gay and
                  Renaud Hartert and
                  Christophe Lecoutre and
                  Pierre Schaus},
  editor       = {Gilles Pesant},
  title        = {Conflict Ordering Search for Scheduling Problems},
  booktitle    = {Principles and Practice of Constraint Programming - 21st International
                  Conference, {CP} 2015, Cork, Ireland, August 31 - September 4, 2015,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9255},
  pages        = {140--148},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-23219-5\_10},
  doi          = {10.1007/978-3-319-23219-5\_10},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/GayHLS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/GayHS15,
  author       = {Steven Gay and
                  Renaud Hartert and
                  Pierre Schaus},
  editor       = {Gilles Pesant},
  title        = {Simple and Scalable Time-Table Filtering for the Cumulative Constraint},
  booktitle    = {Principles and Practice of Constraint Programming - 21st International
                  Conference, {CP} 2015, Cork, Ireland, August 31 - September 4, 2015,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9255},
  pages        = {149--157},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-23219-5\_11},
  doi          = {10.1007/978-3-319-23219-5\_11},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/GayHS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/HartertSVB15,
  author       = {Renaud Hartert and
                  Pierre Schaus and
                  Stefano Vissicchio and
                  Olivier Bonaventure},
  editor       = {Gilles Pesant},
  title        = {Solving Segment Routing Problems with Hybrid Constraint Programming
                  Techniques},
  booktitle    = {Principles and Practice of Constraint Programming - 21st International
                  Conference, {CP} 2015, Cork, Ireland, August 31 - September 4, 2015,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9255},
  pages        = {592--608},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-23219-5\_41},
  doi          = {10.1007/978-3-319-23219-5\_41},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/HartertSVB15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/DejemeppeSD15,
  author       = {Cyrille Dejemeppe and
                  Pierre Schaus and
                  Yves Deville},
  editor       = {Laurent Michel},
  title        = {Derivative-Free Optimization: Lifting Single-Objective to Multi-Objective
                  Algorithm},
  booktitle    = {Integration of {AI} and {OR} Techniques in Constraint Programming
                  - 12th International Conference, {CPAIOR} 2015, Barcelona, Spain,
                  May 18-22, 2015, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9075},
  pages        = {124--140},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-18008-3\_9},
  doi          = {10.1007/978-3-319-18008-3\_9},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cpaior/DejemeppeSD15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/GayHS15,
  author       = {Steven Gay and
                  Renaud Hartert and
                  Pierre Schaus},
  editor       = {Laurent Michel},
  title        = {Time-Table Disjunctive Reasoning for the Cumulative Constraint},
  booktitle    = {Integration of {AI} and {OR} Techniques in Constraint Programming
                  - 12th International Conference, {CPAIOR} 2015, Barcelona, Spain,
                  May 18-22, 2015, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9075},
  pages        = {157--172},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-18008-3\_11},
  doi          = {10.1007/978-3-319-18008-3\_11},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cpaior/GayHS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/CauwelaertLS15,
  author       = {Sascha Van Cauwelaert and
                  Michele Lombardi and
                  Pierre Schaus},
  editor       = {Laurent Michel},
  title        = {Understanding the Potential of Propagators},
  booktitle    = {Integration of {AI} and {OR} Techniques in Constraint Programming
                  - 12th International Conference, {CPAIOR} 2015, Barcelona, Spain,
                  May 18-22, 2015, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9075},
  pages        = {427--436},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-18008-3\_29},
  doi          = {10.1007/978-3-319-18008-3\_29},
  timestamp    = {Fri, 02 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cpaior/CauwelaertLS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcomm/HartertVSBFTF15,
  author       = {Renaud Hartert and
                  Stefano Vissicchio and
                  Pierre Schaus and
                  Olivier Bonaventure and
                  Clarence Filsfils and
                  Thomas Telkamp and
                  Pierre Fran{\c{c}}ois},
  editor       = {Steve Uhlig and
                  Olaf Maennel and
                  Brad Karp and
                  Jitendra Padhye},
  title        = {A Declarative and Expressive Approach to Control Forwarding Paths
                  in Carrier-Grade Networks},
  booktitle    = {Proceedings of the 2015 {ACM} Conference on Special Interest Group
                  on Data Communication, {SIGCOMM} 2015, London, United Kingdom, August
                  17-21, 2015},
  pages        = {15--28},
  publisher    = {{ACM}},
  year         = {2015},
  url          = {https://doi.org/10.1145/2785956.2787495},
  doi          = {10.1145/2785956.2787495},
  timestamp    = {Wed, 21 Jul 2021 16:09:54 +0200},
  biburl       = {https://dblp.org/rec/conf/sigcomm/HartertVSBFTF15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/BusardCLPS15,
  author       = {Simon Busard and
                  Quentin Cappart and
                  Christophe Limbr{\'{e}}e and
                  Charles Pecheur and
                  Pierre Schaus},
  editor       = {Jun Pang and
                  Yang Liu and
                  Sjouke Mauw},
  title        = {Verification of railway interlocking systems},
  booktitle    = {Proceedings 4th International Workshop on Engineering Safety and Security
                  Systems, {ESSS} 2015, Oslo, Norway, June 22, 2015},
  series       = {{EPTCS}},
  volume       = {184},
  pages        = {19--31},
  year         = {2015},
  url          = {https://doi.org/10.4204/EPTCS.184.2},
  doi          = {10.4204/EPTCS.184.2},
  timestamp    = {Thu, 23 Sep 2021 11:46:10 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/BusardCLPS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ejco/SchausR14,
  author       = {Pierre Schaus and
                  Jean{-}Charles R{\'{e}}gin},
  title        = {Bound-consistent spread constraint},
  journal      = {{EURO} J. Comput. Optim.},
  volume       = {2},
  number       = {3},
  pages        = {123--146},
  year         = {2014},
  url          = {https://doi.org/10.1007/s13675-013-0018-8},
  doi          = {10.1007/S13675-013-0018-8},
  timestamp    = {Mon, 18 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ejco/SchausR14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/HartertS14,
  author       = {Renaud Hartert and
                  Pierre Schaus},
  editor       = {Carla E. Brodley and
                  Peter Stone},
  title        = {A Support-Based Algorithm for the Bi-Objective Pareto Constraint},
  booktitle    = {Proceedings of the Twenty-Eighth {AAAI} Conference on Artificial Intelligence,
                  July 27 -31, 2014, Qu{\'{e}}bec City, Qu{\'{e}}bec, Canada},
  pages        = {2674--2679},
  publisher    = {{AAAI} Press},
  year         = {2014},
  url          = {https://doi.org/10.1609/aaai.v28i1.9119},
  doi          = {10.1609/AAAI.V28I1.9119},
  timestamp    = {Mon, 04 Sep 2023 15:06:24 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/HartertS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/HoundjiSWD14,
  author       = {Vinas{\'{e}}tan Ratheil Houndji and
                  Pierre Schaus and
                  Laurence A. Wolsey and
                  Yves Deville},
  editor       = {Barry O'Sullivan},
  title        = {The StockingCost Constraint},
  booktitle    = {Principles and Practice of Constraint Programming - 20th International
                  Conference, {CP} 2014, Lyon, France, September 8-12, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8656},
  pages        = {382--397},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-10428-7\_29},
  doi          = {10.1007/978-3-319-10428-7\_29},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/HoundjiSWD14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/GaySS14,
  author       = {Steven Gay and
                  Pierre Schaus and
                  Vivian De Smedt},
  editor       = {Barry O'Sullivan},
  title        = {Continuous Casting Scheduling with Constraint Programming},
  booktitle    = {Principles and Practice of Constraint Programming - 20th International
                  Conference, {CP} 2014, Lyon, France, September 8-12, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8656},
  pages        = {831--845},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-10428-7\_59},
  doi          = {10.1007/978-3-319-10428-7\_59},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/GaySS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/LombardiS14,
  author       = {Michele Lombardi and
                  Pierre Schaus},
  editor       = {Helmut Simonis},
  title        = {Cost Impact Guided {LNS}},
  booktitle    = {Integration of {AI} and {OR} Techniques in Constraint Programming
                  - 11th International Conference, {CPAIOR} 2014, Cork, Ireland, May
                  19-23, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8451},
  pages        = {293--300},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-07046-9\_21},
  doi          = {10.1007/978-3-319-07046-9\_21},
  timestamp    = {Tue, 14 May 2019 10:00:47 +0200},
  biburl       = {https://dblp.org/rec/conf/cpaior/LombardiS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/PelsserSR13,
  author       = {Fran{\c{c}}ois Pelsser and
                  Pierre Schaus and
                  Jean{-}Charles R{\'{e}}gin},
  editor       = {Christian Schulte},
  title        = {Revisiting the Cardinality Reasoning for BinPacking Constraint},
  booktitle    = {Principles and Practice of Constraint Programming - 19th International
                  Conference, {CP} 2013, Uppsala, Sweden, September 16-20, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8124},
  pages        = {578--586},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-40627-0\_43},
  doi          = {10.1007/978-3-642-40627-0\_43},
  timestamp    = {Tue, 14 May 2019 10:00:45 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/PelsserSR13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/SchausH13,
  author       = {Pierre Schaus and
                  Renaud Hartert},
  editor       = {Christian Schulte},
  title        = {Multi-Objective Large Neighborhood Search},
  booktitle    = {Principles and Practice of Constraint Programming - 19th International
                  Conference, {CP} 2013, Uppsala, Sweden, September 16-20, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8124},
  pages        = {611--627},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-40627-0\_46},
  doi          = {10.1007/978-3-642-40627-0\_46},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/SchausH13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/Schaus13,
  author       = {Pierre Schaus},
  title        = {Variable Objective Large Neighborhood Search: {A} Practical Approach
                  to Solve Over-Constrained Problems},
  booktitle    = {25th {IEEE} International Conference on Tools with Artificial Intelligence,
                  {ICTAI} 2013, Herndon, VA, USA, November 4-6, 2013},
  pages        = {971--978},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/ICTAI.2013.147},
  doi          = {10.1109/ICTAI.2013.147},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ictai/Schaus13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/SchausRSDR12,
  author       = {Pierre Schaus and
                  Jean{-}Charles R{\'{e}}gin and
                  Rowan Van Schaeren and
                  Wout Dullaert and
                  Birger Raa},
  editor       = {Michela Milano},
  title        = {Cardinality Reasoning for Bin-Packing Constraint: Application to a
                  Tank Allocation Problem},
  booktitle    = {Principles and Practice of Constraint Programming - 18th International
                  Conference, {CP} 2012, Qu{\'{e}}bec City, QC, Canada, October
                  8-12, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7514},
  pages        = {815--822},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-33558-7\_58},
  doi          = {10.1007/978-3-642-33558-7\_58},
  timestamp    = {Tue, 14 May 2019 10:00:45 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/SchausRSDR12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/SchausHMCMD11,
  author       = {Pierre Schaus and
                  Pascal Van Hentenryck and
                  Jean{-}No{\"{e}}l Monette and
                  Carleton Coffrin and
                  Laurent Michel and
                  Yves Deville},
  title        = {Solving Steel Mill Slab Problems with constraint-based techniques:
                  CP, LNS, and {CBLS}},
  journal      = {Constraints An Int. J.},
  volume       = {16},
  number       = {2},
  pages        = {125--147},
  year         = {2011},
  url          = {https://doi.org/10.1007/s10601-010-9100-5},
  doi          = {10.1007/S10601-010-9100-5},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/constraints/SchausHMCMD11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/DupuisSD10,
  author       = {Julien Dupuis and
                  Pierre Schaus and
                  Yves Deville},
  editor       = {Andrea Lodi and
                  Michela Milano and
                  Paolo Toth},
  title        = {Consistency Check for the Bin Packing Constraint Revisited},
  booktitle    = {Integration of {AI} and {OR} Techniques in Constraint Programming
                  for Combinatorial Optimization Problems, 7th International Conference,
                  {CPAIOR} 2010, Bologna, Italy, June 14-18, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6140},
  pages        = {117--122},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-13520-0\_15},
  doi          = {10.1007/978-3-642-13520-0\_15},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cpaior/DupuisSD10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/SchausHZ10,
  author       = {Pierre Schaus and
                  Pascal Van Hentenryck and
                  Alessandro Zanarini},
  editor       = {Andrea Lodi and
                  Michela Milano and
                  Paolo Toth},
  title        = {Revisiting the Soft Global Cardinality Constraint},
  booktitle    = {Integration of {AI} and {OR} Techniques in Constraint Programming
                  for Combinatorial Optimization Problems, 7th International Conference,
                  {CPAIOR} 2010, Bologna, Italy, June 14-18, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6140},
  pages        = {307--312},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-13520-0\_33},
  doi          = {10.1007/978-3-642-13520-0\_33},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cpaior/SchausHZ10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/SchausHR09,
  author       = {Pierre Schaus and
                  Pascal Van Hentenryck and
                  Jean{-}Charles R{\'{e}}gin},
  editor       = {Willem Jan van Hoeve and
                  John N. Hooker},
  title        = {Scalable Load Balancing in Nurse to Patient Assignment Problems},
  booktitle    = {Integration of {AI} and {OR} Techniques in Constraint Programming
                  for Combinatorial Optimization Problems, 6th International Conference,
                  {CPAIOR} 2009, Pittsburgh, PA, USA, May 27-31, 2009, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5547},
  pages        = {248--262},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-01929-6\_19},
  doi          = {10.1007/978-3-642-01929-6\_19},
  timestamp    = {Tue, 14 May 2019 10:00:47 +0200},
  biburl       = {https://dblp.org/rec/conf/cpaior/SchausHR09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/SchausD08,
  author       = {Pierre Schaus and
                  Yves Deville},
  editor       = {Dieter Fox and
                  Carla P. Gomes},
  title        = {A Global Constraint for Bin-Packing with Precedences: Application
                  to the Assembly Line Balancing Problem},
  booktitle    = {Proceedings of the Twenty-Third {AAAI} Conference on Artificial Intelligence,
                  {AAAI} 2008, Chicago, Illinois, USA, July 13-17, 2008},
  pages        = {369--374},
  publisher    = {{AAAI} Press},
  year         = {2008},
  url          = {http://www.aaai.org/Library/AAAI/2008/aaai08-058.php},
  timestamp    = {Tue, 05 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/SchausD08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/SchausDD07,
  author       = {Pierre Schaus and
                  Yves Deville and
                  Pierre Dupont},
  editor       = {Christian Bessiere},
  title        = {Bound-Consistent Deviation Constraint},
  booktitle    = {Principles and Practice of Constraint Programming - {CP} 2007, 13th
                  International Conference, {CP} 2007, Providence, RI, USA, September
                  23-27, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4741},
  pages        = {620--634},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-74970-7\_44},
  doi          = {10.1007/978-3-540-74970-7\_44},
  timestamp    = {Tue, 14 May 2019 10:00:45 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/SchausDD07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/SchausDDR07,
  author       = {Pierre Schaus and
                  Yves Deville and
                  Pierre Dupont and
                  Jean{-}Charles R{\'{e}}gin},
  editor       = {Pascal Van Hentenryck and
                  Laurence A. Wolsey},
  title        = {The Deviation Constraint},
  booktitle    = {Integration of {AI} and {OR} Techniques in Constraint Programming
                  for Combinatorial Optimization Problems, 4th International Conference,
                  {CPAIOR} 2007, Brussels, Belgium, May 23-26, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4510},
  pages        = {260--274},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-72397-4\_19},
  doi          = {10.1007/978-3-540-72397-4\_19},
  timestamp    = {Tue, 14 May 2019 10:00:47 +0200},
  biburl       = {https://dblp.org/rec/conf/cpaior/SchausDDR07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics