Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Willem Jan van Hoeve
@article{DBLP:journals/aim/KadiogluWHH23,
author = {Serdar Kadioglu and
Xin Wang and
Amin Hosseininasab and
Willem{-}Jan van Hoeve},
title = {Seq2Pat: Sequence-to-pattern generation to bridge pattern mining with
machine learning},
journal = {{AI} Mag.},
volume = {44},
number = {1},
pages = {54--66},
year = {2023},
url = {https://doi.org/10.1002/aaai.12081},
doi = {10.1002/AAAI.12081},
timestamp = {Sun, 24 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aim/KadiogluWHH23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/KarahaliosH23,
author = {Anthony Karahalios and
Willem{-}Jan van Hoeve},
editor = {Andr{\'{e}} A. Cir{\'{e}}},
title = {Column Elimination for Capacitated Vehicle Routing Problems},
booktitle = {Integration of Constraint Programming, Artificial Intelligence, and
Operations Research - 20th International Conference, {CPAIOR} 2023,
Nice, France, May 29 - June 1, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13884},
pages = {35--51},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-33271-5\_3},
doi = {10.1007/978-3-031-33271-5\_3},
timestamp = {Fri, 02 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cpaior/KarahaliosH23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/GentzelMH23,
author = {Rebecca Gentzel and
Laurent Michel and
Willem{-}Jan van Hoeve},
editor = {Andr{\'{e}} A. Cir{\'{e}}},
title = {Optimization Bounds from Decision Diagrams in Haddock},
booktitle = {Integration of Constraint Programming, Artificial Intelligence, and
Operations Research - 20th International Conference, {CPAIOR} 2023,
Nice, France, May 29 - June 1, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13884},
pages = {150--166},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-33271-5\_11},
doi = {10.1007/978-3-031-33271-5\_11},
timestamp = {Fri, 02 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cpaior/GentzelMH23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/KarahaliosH22,
author = {Anthony Karahalios and
Willem{-}Jan van Hoeve},
title = {Variable ordering for decision diagrams: {A} portfolio approach},
journal = {Constraints An Int. J.},
volume = {27},
number = {1-2},
pages = {116--133},
year = {2022},
url = {https://doi.org/10.1007/s10601-021-09325-6},
doi = {10.1007/S10601-021-09325-6},
timestamp = {Wed, 10 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/constraints/KarahaliosH22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jmlr/JiangZHX22,
author = {Nan Jiang and
Maosen Zhang and
Willem{-}Jan van Hoeve and
Yexiang Xue},
title = {Constraint Reasoning Embedded Structured Prediction},
journal = {J. Mach. Learn. Res.},
volume = {23},
pages = {345:1--345:40},
year = {2022},
url = {http://jmlr.org/papers/v23/21-1484.html},
timestamp = {Fri, 22 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jmlr/JiangZHX22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mp/Hoeve22,
author = {Willem{-}Jan van Hoeve},
title = {Graph coloring with decision diagrams},
journal = {Math. Program.},
volume = {192},
number = {1},
pages = {631--674},
year = {2022},
url = {https://doi.org/10.1007/s10107-021-01662-x},
doi = {10.1007/S10107-021-01662-X},
timestamp = {Fri, 01 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mp/Hoeve22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/WangHCKH22,
author = {Xin Wang and
Amin Hosseininasab and
Pablo Colunga and
Serdar Kadioglu and
Willem{-}Jan van Hoeve},
title = {Seq2Pat: Sequence-to-Pattern Generation for Constraint-Based Sequential
Pattern Mining},
booktitle = {Thirty-Sixth {AAAI} Conference on Artificial Intelligence, {AAAI}
2022, Thirty-Fourth Conference on Innovative Applications of Artificial
Intelligence, {IAAI} 2022, The Twelveth Symposium on Educational Advances
in Artificial Intelligence, {EAAI} 2022 Virtual Event, February 22
- March 1, 2022},
pages = {12665--12671},
publisher = {{AAAI} Press},
year = {2022},
url = {https://doi.org/10.1609/aaai.v36i11.21542},
doi = {10.1609/AAAI.V36I11.21542},
timestamp = {Mon, 04 Sep 2023 12:29:24 +0200},
biburl = {https://dblp.org/rec/conf/aaai/WangHCKH22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/GentzelMH22,
author = {Rebecca Gentzel and
Laurent Michel and
Willem{-}Jan van Hoeve},
editor = {Christine Solnon},
title = {Heuristics for {MDD} Propagation in {HADDOCK}},
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 = {24:1--24:17},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2022},
url = {https://doi.org/10.4230/LIPIcs.CP.2022.24},
doi = {10.4230/LIPICS.CP.2022.24},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/GentzelMH22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/HeuleKH22,
author = {Marijn J. H. Heule and
Anthony Karahalios and
Willem{-}Jan van Hoeve},
editor = {Christine Solnon},
title = {From Cliques to Colorings and Back Again},
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 = {26:1--26:10},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2022},
url = {https://doi.org/10.4230/LIPIcs.CP.2022.26},
doi = {10.4230/LIPICS.CP.2022.26},
timestamp = {Wed, 27 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/HeuleKH22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2202-06834,
author = {Amin Hosseininasab and
Willem{-}Jan van Hoeve and
Andr{\'{e}} A. Cir{\'{e}}},
title = {Memory Efficient Tries for Sequential Pattern Mining},
journal = {CoRR},
volume = {abs/2202.06834},
year = {2022},
url = {https://arxiv.org/abs/2202.06834},
eprinttype = {arXiv},
eprint = {2202.06834},
timestamp = {Fri, 18 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2202-06834.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iiset/KinableHS21,
author = {Joris Kinable and
Willem{-}Jan van Hoeve and
Stephen F. Smith},
title = {Snow plow route optimization: {A} constraint programming approach},
journal = {{IISE} Trans.},
volume = {53},
number = {6},
pages = {685--703},
year = {2021},
url = {https://doi.org/10.1080/24725854.2020.1831713},
doi = {10.1080/24725854.2020.1831713},
timestamp = {Thu, 16 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iiset/KinableHS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/informs/HosseininasabH21,
author = {Amin Hosseininasab and
Willem{-}Jan van Hoeve},
title = {Exact Multiple Sequence Alignment by Synchronized Decision Diagrams},
journal = {{INFORMS} J. Comput.},
volume = {33},
number = {2},
pages = {721--738},
year = {2021},
url = {https://doi.org/10.1287/ijoc.2019.0937},
doi = {10.1287/IJOC.2019.0937},
timestamp = {Thu, 16 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/informs/HosseininasabH21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mp/DavarniaH21,
author = {Danial Davarnia and
Willem{-}Jan van Hoeve},
title = {Outer approximation for integer nonlinear programs via decision diagrams},
journal = {Math. Program.},
volume = {187},
number = {1},
pages = {111--150},
year = {2021},
url = {https://doi.org/10.1007/s10107-020-01475-4},
doi = {10.1007/S10107-020-01475-4},
timestamp = {Thu, 29 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mp/DavarniaH21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mpc/TjandraatmadjaH21,
author = {Christian Tjandraatmadja and
Willem{-}Jan van Hoeve},
title = {Incorporating bounds from decision diagrams into integer programming},
journal = {Math. Program. Comput.},
volume = {13},
number = {2},
pages = {225--256},
year = {2021},
url = {https://doi.org/10.1007/s12532-020-00191-6},
doi = {10.1007/S12532-020-00191-6},
timestamp = {Mon, 07 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mpc/TjandraatmadjaH21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/GentzelMH20,
author = {Rebecca Gentzel and
Laurent Michel and
Willem Jan van Hoeve},
editor = {Helmut Simonis},
title = {{HADDOCK:} {A} Language and Architecture for Decision Diagram Compilation},
booktitle = {Principles and Practice of Constraint Programming - 26th International
Conference, {CP} 2020, Louvain-la-Neuve, Belgium, September 7-11,
2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12333},
pages = {531--547},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-58475-7\_31},
doi = {10.1007/978-3-030-58475-7\_31},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/GentzelMH20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/MogaliHS20,
author = {Jayanth Krishna Mogali and
Willem{-}Jan van Hoeve and
Stephen F. Smith},
editor = {Emmanuel Hebrard and
Nysret Musliu},
title = {Template Matching and Decision Diagrams for Multi-agent Path Finding},
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 = {347--363},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-58942-4\_23},
doi = {10.1007/978-3-030-58942-4\_23},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cpaior/MogaliHS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipco/Hoeve20,
author = {Willem{-}Jan van Hoeve},
editor = {Daniel Bienstock and
Giacomo Zambelli},
title = {Graph Coloring Lower Bounds from Decision Diagrams},
booktitle = {Integer Programming and Combinatorial Optimization - 21st International
Conference, {IPCO} 2020, London, UK, June 8-10, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12125},
pages = {405--418},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-45771-6\_31},
doi = {10.1007/978-3-030-45771-6\_31},
timestamp = {Mon, 04 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ipco/Hoeve20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/informs/TjandraatmadjaH19,
author = {Christian Tjandraatmadja and
Willem{-}Jan van Hoeve},
title = {Target Cuts from Relaxed Decision Diagrams},
journal = {{INFORMS} J. Comput.},
volume = {31},
number = {2},
pages = {285--301},
year = {2019},
url = {https://doi.org/10.1287/ijoc.2018.0830},
doi = {10.1287/IJOC.2018.0830},
timestamp = {Sun, 15 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/informs/TjandraatmadjaH19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/HosseininasabHC19,
author = {Amin Hosseininasab and
Willem{-}Jan van Hoeve and
Andr{\'{e}} A. Cir{\'{e}}},
title = {Constraint-Based Sequential Pattern Mining with Decision Diagrams},
booktitle = {The Thirty-Third {AAAI} Conference on Artificial Intelligence, {AAAI}
2019, The Thirty-First Innovative Applications of Artificial Intelligence
Conference, {IAAI} 2019, The Ninth {AAAI} Symposium on Educational
Advances in Artificial Intelligence, {EAAI} 2019, Honolulu, Hawaii,
USA, January 27 - February 1, 2019},
pages = {1495--1502},
publisher = {{AAAI} Press},
year = {2019},
url = {https://doi.org/10.1609/aaai.v33i01.33011495},
doi = {10.1609/AAAI.V33I01.33011495},
timestamp = {Mon, 04 Sep 2023 12:29:24 +0200},
biburl = {https://dblp.org/rec/conf/aaai/HosseininasabHC19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/GrenouilleauHH19,
author = {Florian Grenouilleau and
Willem{-}Jan van Hoeve and
John N. Hooker},
editor = {J. Benton and
Nir Lipovetzky and
Eva Onaindia and
David E. Smith and
Siddharth Srivastava},
title = {A Multi-Label A* Algorithm for Multi-Agent Pathfinding},
booktitle = {Proceedings of the Twenty-Ninth International Conference on Automated
Planning and Scheduling, {ICAPS} 2019, Berkeley, CA, USA, July 11-15,
2019},
pages = {181--185},
publisher = {{AAAI} Press},
year = {2019},
url = {https://ojs.aaai.org/index.php/ICAPS/article/view/3474},
timestamp = {Thu, 10 Aug 2023 15:31:45 +0200},
biburl = {https://dblp.org/rec/conf/aips/GrenouilleauHH19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/KocukH19,
author = {Burak Kocuk and
Willem{-}Jan van Hoeve},
editor = {Louis{-}Martin Rousseau and
Kostas Stergiou},
title = {A Computational Comparison of Optimization Methods for the Golomb
Ruler Problem},
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 = {409--425},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-19212-9\_27},
doi = {10.1007/978-3-030-19212-9\_27},
timestamp = {Fri, 31 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cpaior/KocukH19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/TangHS19,
author = {Ziye Tang and
Willem{-}Jan van Hoeve and
Paul Shaw},
editor = {Louis{-}Martin Rousseau and
Kostas Stergiou},
title = {A Study on the Traveling Salesman Problem with a Drone},
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 = {557--564},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-19212-9\_37},
doi = {10.1007/978-3-030-19212-9\_37},
timestamp = {Tue, 28 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cpaior/TangHS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/XueH19,
author = {Yexiang Xue and
Willem{-}Jan van Hoeve},
editor = {Louis{-}Martin Rousseau and
Kostas Stergiou},
title = {Embedding Decision Diagrams into Generative Adversarial Networks},
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 = {616--632},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-19212-9\_41},
doi = {10.1007/978-3-030-19212-9\_41},
timestamp = {Tue, 28 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cpaior/XueH19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/HookerH18,
author = {John N. Hooker and
Willem Jan van Hoeve},
title = {Constraint programming and operations research},
journal = {Constraints An Int. J.},
volume = {23},
number = {2},
pages = {172--195},
year = {2018},
url = {https://doi.org/10.1007/s10601-017-9280-3},
doi = {10.1007/S10601-017-9280-3},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/constraints/HookerH18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/Hoeve18,
author = {Willem{-}Jan van Hoeve},
title = {Introduction to the {CPAIOR} 2018 fast track issue},
journal = {Constraints An Int. J.},
volume = {23},
number = {3},
pages = {294--295},
year = {2018},
url = {https://doi.org/10.1007/s10601-018-9291-8},
doi = {10.1007/S10601-018-9291-8},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/constraints/Hoeve18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cpaior/2018,
editor = {Willem Jan van Hoeve},
title = {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},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-93031-2},
doi = {10.1007/978-3-319-93031-2},
isbn = {978-3-319-93030-5},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cpaior/2018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1811-06086,
author = {Amin Hosseininasab and
Willem{-}Jan van Hoeve and
Andr{\'{e}} Augusto Cir{\'{e}}},
title = {Constraint-based Sequential Pattern Mining with Decision Diagrams},
journal = {CoRR},
volume = {abs/1811.06086},
year = {2018},
url = {http://arxiv.org/abs/1811.06086},
eprinttype = {arXiv},
eprint = {1811.06086},
timestamp = {Sun, 25 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1811-06086.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/BeckMRH18,
author = {J. Christopher Beck and
Daniele Magazzeni and
Gabriele R{\"{o}}ger and
Willem{-}Jan van Hoeve},
title = {Planning and Operations Research (Dagstuhl Seminar 18071)},
journal = {Dagstuhl Reports},
volume = {8},
number = {2},
pages = {26--63},
year = {2018},
url = {https://doi.org/10.4230/DagRep.8.2.26},
doi = {10.4230/DAGREP.8.2.26},
timestamp = {Tue, 28 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dagstuhl-reports/BeckMRH18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/HoeveR17,
author = {Willem{-}Jan van Hoeve and
Michel Rueher},
title = {Introduction to the fast track issue for {CP} 2016},
journal = {Constraints An Int. J.},
volume = {22},
number = {1},
pages = {1--2},
year = {2017},
url = {https://doi.org/10.1007/s10601-016-9256-8},
doi = {10.1007/S10601-016-9256-8},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/constraints/HoeveR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eor/SchuijbroekHH17,
author = {J. Schuijbroek and
Robert C. Hampshire and
Willem{-}Jan van Hoeve},
title = {Inventory rebalancing and vehicle routing in bike sharing systems},
journal = {Eur. J. Oper. Res.},
volume = {257},
number = {3},
pages = {992--1004},
year = {2017},
url = {https://doi.org/10.1016/j.ejor.2016.08.029},
doi = {10.1016/J.EJOR.2016.08.029},
timestamp = {Thu, 09 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eor/SchuijbroekHH17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eor/KinableCH17,
author = {Joris Kinable and
Andr{\'{e}} Augusto Cir{\'{e}} and
Willem{-}Jan van Hoeve},
title = {Hybrid optimization methods for time-dependent sequencing problems},
journal = {Eur. J. Oper. Res.},
volume = {259},
number = {3},
pages = {887--897},
year = {2017},
url = {https://doi.org/10.1016/j.ejor.2016.11.035},
doi = {10.1016/J.EJOR.2016.11.035},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/eor/KinableCH17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/HoeveT17,
author = {Willem{-}Jan van Hoeve and
Sridhar R. Tayur},
editor = {J. Christopher Beck},
title = {Integer and Constraint Programming for Batch Annealing Process Planning},
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 = {431--439},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-66158-2\_28},
doi = {10.1007/978-3-319-66158-2\_28},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/cp/HoeveT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/aifta/BergmanCHH16,
author = {David Bergman and
Andr{\'{e}} A. Cir{\'{e}} and
Willem{-}Jan van Hoeve and
John N. Hooker},
title = {Decision Diagrams for Optimization},
series = {Artificial Intelligence: Foundations, Theory, and Algorithms},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-42849-9},
doi = {10.1007/978-3-319-42849-9},
isbn = {978-3-319-42847-5},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/aifta/BergmanCHH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/informs/BergmanCHH16,
author = {David Bergman and
Andr{\'{e}} Augusto Cir{\'{e}} and
Willem{-}Jan van Hoeve and
John N. Hooker},
title = {Discrete Optimization with Decision Diagrams},
journal = {{INFORMS} J. Comput.},
volume = {28},
number = {1},
pages = {47--66},
year = {2016},
url = {https://doi.org/10.1287/ijoc.2015.0648},
doi = {10.1287/IJOC.2015.0648},
timestamp = {Sun, 15 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/informs/BergmanCHH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/GilesH16,
author = {Katherine Giles and
Willem{-}Jan van Hoeve},
editor = {Michel Rueher},
title = {Solving a Supply-Delivery Scheduling Problem with Constraint Programming},
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 = {602--617},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-44953-1\_38},
doi = {10.1007/978-3-319-44953-1\_38},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/cp/GilesH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/KinableHS16,
author = {Joris Kinable and
Willem{-}Jan van Hoeve and
Stephen F. Smith},
editor = {Claude{-}Guy Quimper},
title = {Optimization Models for a Real-World Snow Plow Routing Problem},
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 = {229--245},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-33954-2\_17},
doi = {10.1007/978-3-319-33954-2\_17},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cpaior/KinableHS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/BergmanCH15,
author = {David Bergman and
Andr{\'{e}} Augusto Cir{\'{e}} and
Willem{-}Jan van Hoeve},
title = {Lagrangian bounds from decision diagrams},
journal = {Constraints An Int. J.},
volume = {20},
number = {3},
pages = {346--361},
year = {2015},
url = {https://doi.org/10.1007/s10601-015-9193-y},
doi = {10.1007/S10601-015-9193-Y},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/constraints/BergmanCH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eor/GoelSHFS15,
author = {Vikas Goel and
M. Slusky and
Willem{-}Jan van Hoeve and
Kevin C. Furman and
Yufen Shao},
title = {Constraint programming for {LNG} ship scheduling and inventory management},
journal = {Eur. J. Oper. Res.},
volume = {241},
number = {3},
pages = {662--673},
year = {2015},
url = {https://doi.org/10.1016/j.ejor.2014.09.048},
doi = {10.1016/J.EJOR.2014.09.048},
timestamp = {Thu, 09 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eor/GoelSHFS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/BergmanCH15,
author = {David Bergman and
Andr{\'{e}} Augusto Cir{\'{e}} and
Willem{-}Jan van Hoeve},
editor = {Gilles Pesant},
title = {Improved Constraint Propagation via Lagrangian Decomposition},
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 = {30--38},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-23219-5\_3},
doi = {10.1007/978-3-319-23219-5\_3},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/cp/BergmanCH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/KellSH15,
author = {Brian Kell and
Ashish Sabharwal and
Willem{-}Jan van Hoeve},
editor = {Laurent Michel},
title = {BDD-Guided Clause Generation},
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 = {215--230},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-18008-3\_15},
doi = {10.1007/978-3-319-18008-3\_15},
timestamp = {Tue, 14 May 2019 10:00:47 +0200},
biburl = {https://dblp.org/rec/conf/cpaior/KellSH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ejco/RousseauH14,
author = {Louis{-}Martin Rousseau and
Willem{-}Jan van Hoeve},
title = {Special issue on: constraint programming approaches to combinatorial
optimization},
journal = {{EURO} J. Comput. Optim.},
volume = {2},
number = {3},
pages = {87--88},
year = {2014},
url = {https://doi.org/10.1007/s13675-014-0027-2},
doi = {10.1007/S13675-014-0027-2},
timestamp = {Mon, 18 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ejco/RousseauH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/heuristics/BergmanCHY14,
author = {David Bergman and
Andr{\'{e}} A. Cir{\'{e}} and
Willem Jan van Hoeve and
Tallys H. Yunes},
title = {BDD-based heuristics for binary optimization},
journal = {J. Heuristics},
volume = {20},
number = {2},
pages = {211--234},
year = {2014},
url = {https://doi.org/10.1007/s10732-014-9238-1},
doi = {10.1007/S10732-014-9238-1},
timestamp = {Thu, 18 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/heuristics/BergmanCHY14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/informs/BergmanCHH14,
author = {David Bergman and
Andr{\'{e}} A. Cir{\'{e}} and
Willem Jan van Hoeve and
John N. Hooker},
title = {Optimization Bounds from Binary Decision Diagrams},
journal = {{INFORMS} J. Comput.},
volume = {26},
number = {2},
pages = {253--268},
year = {2014},
url = {https://doi.org/10.1287/ijoc.2013.0561},
doi = {10.1287/IJOC.2013.0561},
timestamp = {Sun, 15 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/informs/BergmanCHH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/BergmanCH14,
author = {David Bergman and
Andr{\'{e}} A. Cir{\'{e}} and
Willem Jan van Hoeve},
title = {{MDD} Propagation for Sequence Constraints},
journal = {J. Artif. Intell. Res.},
volume = {50},
pages = {697--722},
year = {2014},
url = {https://doi.org/10.1613/jair.4199},
doi = {10.1613/JAIR.4199},
timestamp = {Mon, 21 Jan 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jair/BergmanCH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/BergmanCHH14,
author = {David Bergman and
Andr{\'{e}} A. Cir{\'{e}} and
Willem Jan van Hoeve and
John N. Hooker},
editor = {Barry O'Sullivan},
title = {Optimization Bounds from Binary Decision Diagrams - (Extended Abstract)},
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 = {903--907},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-10428-7\_64},
doi = {10.1007/978-3-319-10428-7\_64},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/cp/BergmanCHH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/CireH14,
author = {Andr{\'{e}} A. Cir{\'{e}} and
Willem{-}Jan van Hoeve},
editor = {Barry O'Sullivan},
title = {Multivalued Decision Diagrams for Sequencing Problems - (Extended
Abstract)},
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 = {918--922},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-10428-7\_67},
doi = {10.1007/978-3-319-10428-7\_67},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/CireH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/BergmanCSSSH14,
author = {David Bergman and
Andr{\'{e}} A. Cir{\'{e}} and
Ashish Sabharwal and
Horst Samulowitz and
Vijay A. Saraswat and
Willem Jan van Hoeve},
editor = {Helmut Simonis},
title = {Parallel Combinatorial Optimization with Decision Diagrams},
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 = {351--367},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-07046-9\_25},
doi = {10.1007/978-3-319-07046-9\_25},
timestamp = {Tue, 14 May 2019 10:00:47 +0200},
biburl = {https://dblp.org/rec/conf/cpaior/BergmanCSSSH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ior/CireH13,
author = {Andr{\'{e}} A. Cir{\'{e}} and
Willem Jan van Hoeve},
title = {Multivalued Decision Diagrams for Sequencing Problems},
journal = {Oper. Res.},
volume = {61},
number = {6},
pages = {1411--1428},
year = {2013},
url = {https://doi.org/10.1287/opre.2013.1221},
doi = {10.1287/OPRE.2013.1221},
timestamp = {Tue, 31 Mar 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ior/CireH13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/KellH13,
author = {Brian Kell and
Willem Jan van Hoeve},
editor = {Carla P. Gomes and
Meinolf Sellmann},
title = {An {MDD} Approach to Multidimensional Bin Packing},
booktitle = {Integration of {AI} and {OR} Techniques in Constraint Programming
for Combinatorial Optimization Problems, 10th International Conference,
{CPAIOR} 2013, Yorktown Heights, NY, USA, May 18-22, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7874},
pages = {128--143},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-38171-3\_9},
doi = {10.1007/978-3-642-38171-3\_9},
timestamp = {Tue, 14 May 2019 10:00:47 +0200},
biburl = {https://dblp.org/rec/conf/cpaior/KellH13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/SluskyH13,
author = {Marla R. Slusky and
Willem Jan van Hoeve},
editor = {Carla P. Gomes and
Meinolf Sellmann},
title = {A Lagrangian Relaxation for Golomb Rulers},
booktitle = {Integration of {AI} and {OR} Techniques in Constraint Programming
for Combinatorial Optimization Problems, 10th International Conference,
{CPAIOR} 2013, Yorktown Heights, NY, USA, May 18-22, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7874},
pages = {251--267},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-38171-3\_17},
doi = {10.1007/978-3-642-38171-3\_17},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cpaior/SluskyH13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/BenchimolHRRR12,
author = {Pascal Benchimol and
Willem Jan van Hoeve and
Jean{-}Charles R{\'{e}}gin and
Louis{-}Martin Rousseau and
Michel Rueher},
title = {Improved filtering for weighted circuit constraints},
journal = {Constraints An Int. J.},
volume = {17},
number = {3},
pages = {205--233},
year = {2012},
url = {https://doi.org/10.1007/s10601-012-9119-x},
doi = {10.1007/S10601-012-9119-X},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/constraints/BenchimolHRRR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/CireH12,
author = {Andr{\'{e}} A. Cir{\'{e}} and
Willem Jan van Hoeve},
editor = {Lee McCluskey and
Brian Charles Williams and
Jos{\'{e}} Reinaldo Silva and
Blai Bonet},
title = {{MDD} Propagation for Disjunctive Scheduling},
booktitle = {Proceedings of the Twenty-Second International Conference on Automated
Planning and Scheduling, {ICAPS} 2012, Atibaia, S{\~{a}}o Paulo, Brazil,
June 25-19, 2012},
publisher = {{AAAI}},
year = {2012},
url = {http://www.aaai.org/ocs/index.php/ICAPS/ICAPS12/paper/view/4720},
timestamp = {Wed, 01 Mar 2017 18:10:41 +0100},
biburl = {https://dblp.org/rec/conf/aips/CireH12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/BergmanCHH12,
author = {David Bergman and
Andr{\'{e}} A. Cir{\'{e}} and
Willem Jan van Hoeve and
John N. Hooker},
editor = {Nicolas Beldiceanu and
Narendra Jussien and
Eric Pinson},
title = {Variable Ordering for the Application of BDDs to the Maximum Independent
Set Problem},
booktitle = {Integration of {AI} and {OR} Techniques in Contraint Programming for
Combinatorial Optimzation Problems - 9th International Conference,
{CPAIOR} 2012, Nantes, France, May 28 - June1, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7298},
pages = {34--49},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-29828-8\_3},
doi = {10.1007/978-3-642-29828-8\_3},
timestamp = {Tue, 14 May 2019 10:00:47 +0200},
biburl = {https://dblp.org/rec/conf/cpaior/BergmanCHH12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/CireCH12,
author = {Andr{\'{e}} A. Cir{\'{e}} and
Elvin Coban and
Willem Jan van Hoeve},
editor = {Nicolas Beldiceanu and
Narendra Jussien and
Eric Pinson},
title = {Flow-Based Combinatorial Chance Constraints},
booktitle = {Integration of {AI} and {OR} Techniques in Contraint Programming for
Combinatorial Optimzation Problems - 9th International Conference,
{CPAIOR} 2012, Nantes, France, May 28 - June1, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7298},
pages = {129--145},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-29828-8\_9},
doi = {10.1007/978-3-642-29828-8\_9},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cpaior/CireCH12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/BergmanHH11,
author = {David Bergman and
Willem Jan van Hoeve and
John N. Hooker},
editor = {Tobias Achterberg and
J. Christopher Beck},
title = {Manipulating {MDD} Relaxations for Combinatorial Optimization},
booktitle = {Integration of {AI} and {OR} Techniques in Constraint Programming
for Combinatorial Optimization Problems - 8th International Conference,
{CPAIOR} 2011, Berlin, Germany, May 23-27, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6697},
pages = {20--35},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21311-3\_5},
doi = {10.1007/978-3-642-21311-3\_5},
timestamp = {Tue, 14 May 2019 10:00:47 +0200},
biburl = {https://dblp.org/rec/conf/cpaior/BergmanHH11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/SteigerHS11,
author = {Robin Steiger and
Willem Jan van Hoeve and
Radoslaw Szymanek},
editor = {William C. Chu and
W. Eric Wong and
Mathew J. Palakal and
Chih{-}Cheng Hung},
title = {An efficient generic network flow constraint},
booktitle = {Proceedings of the 2011 {ACM} Symposium on Applied Computing (SAC),
TaiChung, Taiwan, March 21 - 24, 2011},
pages = {893--900},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1982185.1982381},
doi = {10.1145/1982185.1982381},
timestamp = {Tue, 06 Nov 2018 11:06:49 +0100},
biburl = {https://dblp.org/rec/conf/sac/SteigerHS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/HodaHH10,
author = {Samid Hoda and
Willem Jan van Hoeve and
John N. Hooker},
editor = {David Cohen},
title = {A Systematic Approach to MDD-Based Constraint Programming},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2010 - 16th
International Conference, {CP} 2010, St. Andrews, Scotland, UK, September
6-10, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6308},
pages = {266--280},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15396-9\_23},
doi = {10.1007/978-3-642-15396-9\_23},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/cp/HodaHH10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/BenchimolRRRH10,
author = {Pascal Benchimol and
Jean{-}Charles R{\'{e}}gin and
Louis{-}Martin Rousseau and
Michel Rueher and
Willem Jan van Hoeve},
editor = {Andrea Lodi and
Michela Milano and
Paolo Toth},
title = {Improving the Held and Karp Approach with Constraint Programming},
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 = {40--44},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13520-0\_6},
doi = {10.1007/978-3-642-13520-0\_6},
timestamp = {Tue, 14 May 2019 10:00:47 +0200},
biburl = {https://dblp.org/rec/conf/cpaior/BenchimolRRRH10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/GunesHT10,
author = {Canan Gunes and
Willem Jan van Hoeve and
Sridhar R. Tayur},
editor = {Andrea Lodi and
Michela Milano and
Paolo Toth},
title = {Vehicle Routing for Food Rescue Programs: {A} Comparison of Different
Approaches},
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 = {176--180},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13520-0\_21},
doi = {10.1007/978-3-642-13520-0\_21},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cpaior/GunesHT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/ReginRRH10,
author = {Jean{-}Charles R{\'{e}}gin and
Louis{-}Martin Rousseau and
Michel Rueher and
Willem Jan van Hoeve},
editor = {Andrea Lodi and
Michela Milano and
Paolo Toth},
title = {The Weighted Spanning Tree 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 = {287--291},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13520-0\_31},
doi = {10.1007/978-3-642-13520-0\_31},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cpaior/ReginRRH10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/HoevePRS09,
author = {Willem Jan van Hoeve and
Gilles Pesant and
Louis{-}Martin Rousseau and
Ashish Sabharwal},
title = {New filtering algorithms for combinations of among constraints},
journal = {Constraints An Int. J.},
volume = {14},
number = {2},
pages = {273--292},
year = {2009},
url = {https://doi.org/10.1007/s10601-008-9067-7},
doi = {10.1007/S10601-008-9067-7},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/constraints/HoevePRS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cpaior/2009,
editor = {Willem Jan van Hoeve and
John N. Hooker},
title = {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},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-01929-6},
doi = {10.1007/978-3-642-01929-6},
isbn = {978-3-642-01928-9},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cpaior/2009.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/MalitskySH08,
author = {Yuri Malitsky and
Meinolf Sellmann and
Willem Jan van Hoeve},
editor = {Peter J. Stuckey},
title = {Length-Lex Bounds Consistency for Knapsack Constraints},
booktitle = {Principles and Practice of Constraint Programming, 14th International
Conference, {CP} 2008, Sydney, Australia, September 14-18, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5202},
pages = {266--281},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85958-1\_18},
doi = {10.1007/978-3-540-85958-1\_18},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/cp/MalitskySH08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/GomesHS08,
author = {Carla P. Gomes and
Willem Jan van Hoeve and
Ashish Sabharwal},
editor = {Laurent Perron and
Michael A. Trick},
title = {Connections in Networks: {A} Hybrid Approach},
booktitle = {Integration of {AI} and {OR} Techniques in Constraint Programming
for Combinatorial Optimization Problems, 5th International Conference,
{CPAIOR} 2008, Paris, France, May 20-23, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5015},
pages = {303--307},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-68155-7\_27},
doi = {10.1007/978-3-540-68155-7\_27},
timestamp = {Tue, 14 May 2019 10:00:47 +0200},
biburl = {https://dblp.org/rec/conf/cpaior/GomesHS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/HoeveS08,
author = {Willem Jan van Hoeve and
Ashish Sabharwal},
editor = {Laurent Perron and
Michael A. Trick},
title = {Filtering Atmost1 on Pairs of Set Variables},
booktitle = {Integration of {AI} and {OR} Techniques in Constraint Programming
for Combinatorial Optimization Problems, 5th International Conference,
{CPAIOR} 2008, Paris, France, May 20-23, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5015},
pages = {382--386},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-68155-7\_42},
doi = {10.1007/978-3-540-68155-7\_42},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cpaior/HoeveS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/GomesHSS07,
author = {Carla P. Gomes and
Willem Jan van Hoeve and
Ashish Sabharwal and
Bart Selman},
title = {Counting {CSP} Solutions Using Generalized {XOR} Constraints},
booktitle = {Proceedings of the Twenty-Second {AAAI} Conference on Artificial Intelligence,
July 22-26, 2007, Vancouver, British Columbia, Canada},
pages = {204--209},
publisher = {{AAAI} Press},
year = {2007},
url = {http://www.aaai.org/Library/AAAI/2007/aaai07-031.php},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/GomesHSS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/HoeveGSL07,
author = {Willem Jan van Hoeve and
Carla P. Gomes and
Bart Selman and
Michele Lombardi},
title = {Optimal Multi-Agent Scheduling with Constraint Programming},
booktitle = {Proceedings of the Twenty-Second {AAAI} Conference on Artificial Intelligence,
July 22-26, 2007, Vancouver, British Columbia, Canada},
pages = {1813--1818},
publisher = {{AAAI} Press},
year = {2007},
url = {http://www.aaai.org/Library/AAAI/2007/aaai07-291.php},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/HoeveGSL07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/ConradGHSS07,
author = {Jon Conrad and
Carla P. Gomes and
Willem Jan van Hoeve and
Ashish Sabharwal and
Jordan Suter},
editor = {Pascal Van Hentenryck and
Laurence A. Wolsey},
title = {Connections in Networks: Hardness of Feasibility Versus Optimality},
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 = {16--28},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-72397-4\_2},
doi = {10.1007/978-3-540-72397-4\_2},
timestamp = {Tue, 14 May 2019 10:00:47 +0200},
biburl = {https://dblp.org/rec/conf/cpaior/ConradGHSS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cor/Hoeve06,
author = {Willem Jan van Hoeve},
title = {Exploiting semidefinite relaxations in constraint programming},
journal = {Comput. Oper. Res.},
volume = {33},
number = {10},
pages = {2787--2804},
year = {2006},
url = {https://doi.org/10.1016/j.cor.2005.01.011},
doi = {10.1016/J.COR.2005.01.011},
timestamp = {Tue, 18 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cor/Hoeve06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/heuristics/HoevePR06,
author = {Willem Jan van Hoeve and
Gilles Pesant and
Louis{-}Martin Rousseau},
title = {On global warming: Flow-based soft global constraints},
journal = {J. Heuristics},
volume = {12},
number = {4-5},
pages = {347--373},
year = {2006},
url = {https://doi.org/10.1007/s10732-006-6550-4},
doi = {10.1007/S10732-006-6550-4},
timestamp = {Thu, 18 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/heuristics/HoevePR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaaiss/GomesHS06,
author = {Carla P. Gomes and
Willem Jan van Hoeve and
Bart Selman},
title = {Constraint Programming for Distributed Planning and Scheduling},
booktitle = {Distributed Plan and Schedule Management, Papers from the 2006 {AAAI}
Spring Symposium, Technical Report SS-06-04, Stanford, California,
USA, March 27-29, 2006},
pages = {157--158},
publisher = {{AAAI}},
year = {2006},
url = {http://www.aaai.org/Library/Symposia/Spring/2006/ss06-04-024.php},
timestamp = {Sat, 18 Feb 2012 12:29:46 +0100},
biburl = {https://dblp.org/rec/conf/aaaiss/GomesHS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/HoevePRS06,
author = {Willem Jan van Hoeve and
Gilles Pesant and
Louis{-}Martin Rousseau and
Ashish Sabharwal},
editor = {Fr{\'{e}}d{\'{e}}ric Benhamou},
title = {Revisiting the Sequence Constraint},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2006, 12th
International Conference, {CP} 2006, Nantes, France, September 25-29,
2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4204},
pages = {620--634},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11889205\_44},
doi = {10.1007/11889205\_44},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/cp/HoevePRS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/GomesHL06,
author = {Carla P. Gomes and
Willem Jan van Hoeve and
Lucian Leahu},
editor = {J. Christopher Beck and
Barbara M. Smith},
title = {The Power of Semidefinite Programming Relaxations for {MAX-SAT}},
booktitle = {Integration of {AI} and {OR} Techniques in Constraint Programming
for Combinatorial Optimization Problems, Third International Conference,
{CPAIOR} 2006, Cork, Ireland, May 31 - June 2, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3990},
pages = {104--118},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11757375\_10},
doi = {10.1007/11757375\_10},
timestamp = {Tue, 14 May 2019 10:00:47 +0200},
biburl = {https://dblp.org/rec/conf/cpaior/GomesHL06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/HoeveR06,
author = {Willem Jan van Hoeve and
Jean{-}Charles R{\'{e}}gin},
editor = {J. Christopher Beck and
Barbara M. Smith},
title = {Open Constraints in a Closed World},
booktitle = {Integration of {AI} and {OR} Techniques in Constraint Programming
for Combinatorial Optimization Problems, Third International Conference,
{CPAIOR} 2006, Cork, Ireland, May 31 - June 2, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3990},
pages = {244--257},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11757375\_20},
doi = {10.1007/11757375\_20},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cpaior/HoeveR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/fai/HoeveK06,
author = {Willem{-}Jan van Hoeve and
Irit Katriel},
editor = {Francesca Rossi and
Peter van Beek and
Toby Walsh},
title = {Global Constraints},
booktitle = {Handbook of Constraint Programming},
series = {Foundations of Artificial Intelligence},
volume = {2},
pages = {169--208},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/S1574-6526(06)80010-6},
doi = {10.1016/S1574-6526(06)80010-6},
timestamp = {Tue, 23 Jan 2024 13:25:47 +0100},
biburl = {https://dblp.org/rec/reference/fai/HoeveK06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/Hoeve04,
author = {Willem Jan van Hoeve},
editor = {Mark Wallace},
title = {A Hyper-arc Consistency Algorithm for the Soft Alldifferent Constraint},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2004, 10th
International Conference, {CP} 2004, Toronto, Canada, September 27
- October 1, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3258},
pages = {679--689},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30201-8\_49},
doi = {10.1007/978-3-540-30201-8\_49},
timestamp = {Fri, 27 Mar 2020 09:00:36 +0100},
biburl = {https://dblp.org/rec/conf/cp/Hoeve04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/HoeveM04,
author = {Willem Jan van Hoeve and
Michela Milano},
editor = {Ram{\'{o}}n L{\'{o}}pez de M{\'{a}}ntaras and
Lorenza Saitta},
title = {Postponing Branching Decisions},
booktitle = {Proceedings of the 16th Eureopean Conference on Artificial Intelligence,
ECAI'2004, including Prestigious Applicants of Intelligent Systems,
{PAIS} 2004, Valencia, Spain, August 22-27, 2004},
pages = {1105--1106},
publisher = {{IOS} Press},
year = {2004},
timestamp = {Fri, 11 May 2018 12:42:30 +0200},
biburl = {https://dblp.org/rec/conf/ecai/HoeveM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-AI-0407040,
author = {Willem Jan van Hoeve and
Michela Milano},
title = {Decomposition Based Search - {A} theoretical and experimental evaluation},
journal = {CoRR},
volume = {cs.AI/0407040},
year = {2004},
url = {http://arxiv.org/abs/cs.AI/0407040},
doi = {10.48550/ARXIV.CS/0407040},
timestamp = {Wed, 10 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/cs-AI-0407040.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-AI-0407042,
author = {Willem Jan van Hoeve and
Michela Milano},
title = {Postponing Branching Decisions},
journal = {CoRR},
volume = {cs.AI/0407042},
year = {2004},
url = {http://arxiv.org/abs/cs.AI/0407042},
doi = {10.48550/ARXIV.CS/0407042},
timestamp = {Wed, 10 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/cs-AI-0407042.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-AI-0407044,
author = {Michela Milano and
Willem Jan van Hoeve},
title = {Reduced cost-based ranking for generating promising subproblems},
journal = {CoRR},
volume = {cs.AI/0407044},
year = {2004},
url = {http://arxiv.org/abs/cs.AI/0407044},
doi = {10.48550/ARXIV.CS/0407044},
timestamp = {Wed, 10 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/cs-AI-0407044.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-AI-0408023,
author = {Willem Jan van Hoeve and
Gilles Pesant and
Louis{-}Martin Rousseau},
title = {On Global Warming (Softening Global Constraints)},
journal = {CoRR},
volume = {cs.AI/0408023},
year = {2004},
url = {http://arxiv.org/abs/cs.AI/0408023},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/cs-AI-0408023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-DM-0407041,
author = {Willem Jan van Hoeve},
title = {Exploiting Semidefinite Relaxations in Constraint Programming},
journal = {CoRR},
volume = {cs.DM/0407041},
year = {2004},
url = {http://arxiv.org/abs/cs.DM/0407041},
doi = {10.48550/ARXIV.CS/0407041},
timestamp = {Wed, 10 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/cs-DM-0407041.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-PL-0407043,
author = {Willem Jan van Hoeve},
title = {A Hyper-Arc Consistency Algorithm for the Soft Alldifferent Constraint},
journal = {CoRR},
volume = {cs.PL/0407043},
year = {2004},
url = {http://arxiv.org/abs/cs.PL/0407043},
doi = {10.48550/ARXIV.CS/0407043},
timestamp = {Wed, 10 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/cs-PL-0407043.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/Hoeve03,
author = {Willem Jan van Hoeve},
editor = {Francesca Rossi},
title = {A Hybrid Constraint Programming and Semidefinite Programming Approach
for the Stabe Set Problem},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2003, 9th
International Conference, {CP} 2003, Kinsale, Ireland, September 29
- October 3, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2833},
pages = {407--421},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45193-8\_28},
doi = {10.1007/978-3-540-45193-8\_28},
timestamp = {Tue, 23 Jan 2024 13:25:46 +0100},
biburl = {https://dblp.org/rec/conf/cp/Hoeve03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/MilanoH02,
author = {Michela Milano and
Willem Jan van Hoeve},
editor = {Pascal Van Hentenryck},
title = {Reduced Cost-Based Ranking for Generating Promising Subproblems},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2002, 8th
International Conference, {CP} 2002, Ithaca, NY, USA, September 9-13,
2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2470},
pages = {1--16},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-46135-3\_1},
doi = {10.1007/3-540-46135-3\_1},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/cp/MilanoH02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-PL-0105015,
author = {Willem Jan van Hoeve},
title = {The alldifferent Constraint: {A} Survey},
journal = {CoRR},
volume = {cs.PL/0105015},
year = {2001},
url = {https://arxiv.org/abs/cs/0105015},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-PL-0105015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-21 18:26 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
