default search action
Willem Jan van Hoeve
Willem-Jan van Hoeve
Person information
- affiliation: Carnegie Mellon University, Pittsburgh, PA, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
Books and Theses
- 2016
- [b1]David Bergman, André A. Ciré, Willem-Jan van Hoeve, John N. Hooker:
Decision Diagrams for Optimization. Artificial Intelligence: Foundations, Theory, and Algorithms, Springer 2016, ISBN 978-3-319-42847-5, pp. 1-234
Journal Articles
- 2024
- [j28]Amin Hosseininasab, Willem-Jan van Hoeve, André A. Ciré:
Memory-Efficient Sequential Pattern Mining with Hybrid Tries. J. Mach. Learn. Res. 25: 227:1-227:29 (2024) - [j27]Ziye Tang
, Willem-Jan van Hoeve
Dual Bounds from Decision Diagram-Based Route Relaxations: An Application to Truck-Drone Routing. Transp. Sci. 58(1): 257-278 (2024) - 2023
- [j26]Serdar Kadioglu, Xin Wang
Seq2Pat: Sequence-to-pattern generation to bridge pattern mining with machine learning. AI Mag. 44(1): 54-66 (2023) - 2022
- [j25]Anthony Karahalios
Variable ordering for decision diagrams: A portfolio approach. Constraints An Int. J. 27(1-2): 116-133 (2022) - [j24]Nan Jiang, Maosen Zhang, Willem-Jan van Hoeve, Yexiang Xue:
Constraint Reasoning Embedded Structured Prediction. J. Mach. Learn. Res. 23: 345:1-345:40 (2022) - [j23]Willem-Jan van Hoeve
Graph coloring with decision diagrams. Math. Program. 192(1): 631-674 (2022) - 2021
- [j22]Joris Kinable
Snow plow route optimization: A constraint programming approach. IISE Trans. 53(6): 685-703 (2021) - [j21]Amin Hosseininasab
Exact Multiple Sequence Alignment by Synchronized Decision Diagrams. INFORMS J. Comput. 33(2): 721-738 (2021) - [j20]Danial Davarnia
Outer approximation for integer nonlinear programs via decision diagrams. Math. Program. 187(1): 111-150 (2021) - [j19]Christian Tjandraatmadja, Willem-Jan van Hoeve:
Incorporating bounds from decision diagrams into integer programming. Math. Program. Comput. 13(2): 225-256 (2021) - 2019
- [j18]Christian Tjandraatmadja
Target Cuts from Relaxed Decision Diagrams. INFORMS J. Comput. 31(2): 285-301 (2019) - 2018
- [j17]John N. Hooker, Willem Jan van Hoeve:
Constraint programming and operations research. Constraints An Int. J. 23(2): 172-195 (2018) - [j16]Willem-Jan van Hoeve:
Introduction to the CPAIOR 2018 fast track issue. Constraints An Int. J. 23(3): 294-295 (2018) - 2017
- [j15]Willem-Jan van Hoeve, Michel Rueher:
Introduction to the fast track issue for CP 2016. Constraints An Int. J. 22(1): 1-2 (2017) - [j14]J. Schuijbroek, Robert C. Hampshire, Willem-Jan van Hoeve:
Inventory rebalancing and vehicle routing in bike sharing systems. Eur. J. Oper. Res. 257(3): 992-1004 (2017) - [j13]Joris Kinable
Hybrid optimization methods for time-dependent sequencing problems. Eur. J. Oper. Res. 259(3): 887-897 (2017) - 2016
- [j12]David Bergman, André Augusto Ciré, Willem-Jan van Hoeve, John N. Hooker:
Discrete Optimization with Decision Diagrams. INFORMS J. Comput. 28(1): 47-66 (2016) - 2015
- [j11]David Bergman, André Augusto Ciré, Willem-Jan van Hoeve:
Lagrangian bounds from decision diagrams. Constraints An Int. J. 20(3): 346-361 (2015) - [j10]Vikas Goel, M. Slusky, Willem-Jan van Hoeve, Kevin C. Furman, Yufen Shao:
Constraint programming for LNG ship scheduling and inventory management. Eur. J. Oper. Res. 241(3): 662-673 (2015) - 2014
- [j9]Louis-Martin Rousseau, Willem-Jan van Hoeve:
Special issue on: constraint programming approaches to combinatorial optimization. EURO J. Comput. Optim. 2(3): 87-88 (2014) - [j8]David Bergman, André A. Ciré, Willem Jan van Hoeve, Tallys H. Yunes:
BDD-based heuristics for binary optimization. J. Heuristics 20(2): 211-234 (2014) - [j7]David Bergman, André A. Ciré, Willem Jan van Hoeve, John N. Hooker:
Optimization Bounds from Binary Decision Diagrams. INFORMS J. Comput. 26(2): 253-268 (2014) - [j6]David Bergman, André A. Ciré, Willem Jan van Hoeve:
MDD Propagation for Sequence Constraints. J. Artif. Intell. Res. 50: 697-722 (2014) - 2013
- [j5]André A. Ciré, Willem Jan van Hoeve:
Multivalued Decision Diagrams for Sequencing Problems. Oper. Res. 61(6): 1411-1428 (2013) - 2012
- [j4]Pascal Benchimol, Willem Jan van Hoeve, Jean-Charles Régin, Louis-Martin Rousseau, Michel Rueher:
Improved filtering for weighted circuit constraints. Constraints An Int. J. 17(3): 205-233 (2012) - 2009
- [j3]Willem Jan van Hoeve, Gilles Pesant, Louis-Martin Rousseau, Ashish Sabharwal:
New filtering algorithms for combinations of among constraints. Constraints An Int. J. 14(2): 273-292 (2009) - 2006
- [j2]Willem Jan van Hoeve:
Exploiting semidefinite relaxations in constraint programming. Comput. Oper. Res. 33(10): 2787-2804 (2006) - [j1]Willem Jan van Hoeve, Gilles Pesant, Louis-Martin Rousseau:
On global warming: Flow-based soft global constraints. J. Heuristics 12(4-5): 347-373 (2006)
Conference and Workshop Papers
- 2024
- [c47]Laurent Michel
CODD: A Decision Diagram-Based Solver for Combinatorial Optimization. ECAI 2024: 4240-4247 - 2023
- [c46]Anthony Karahalios
Column Elimination for Capacitated Vehicle Routing Problems. CPAIOR 2023: 35-51 - [c45]Rebecca Gentzel, Laurent Michel
Optimization Bounds from Decision Diagrams in Haddock. CPAIOR 2023: 150-166 - 2022
- [c44]Xin Wang, Amin Hosseininasab, Pablo Colunga, Serdar Kadioglu, Willem-Jan van Hoeve:
Seq2Pat: Sequence-to-Pattern Generation for Constraint-Based Sequential Pattern Mining. AAAI 2022: 12665-12671 - [c43]Rebecca Gentzel
Heuristics for MDD Propagation in HADDOCK. CP 2022: 24:1-24:17 - [c42]Marijn J. H. Heule, Anthony Karahalios, Willem-Jan van Hoeve:
From Cliques to Colorings and Back Again. CP 2022: 26:1-26:10 - 2020
- [c41]Rebecca Gentzel
HADDOCK: A Language and Architecture for Decision Diagram Compilation. CP 2020: 531-547 - [c40]Jayanth Krishna Mogali
Template Matching and Decision Diagrams for Multi-agent Path Finding. CPAIOR 2020: 347-363 - [c39]Willem-Jan van Hoeve
Graph Coloring Lower Bounds from Decision Diagrams. IPCO 2020: 405-418 - 2019
- [c38]Amin Hosseininasab, Willem-Jan van Hoeve, André A. Ciré:
Constraint-Based Sequential Pattern Mining with Decision Diagrams. AAAI 2019: 1495-1502 - [c37]Florian Grenouilleau, Willem-Jan van Hoeve, John N. Hooker:
A Multi-Label A* Algorithm for Multi-Agent Pathfinding. ICAPS 2019: 181-185 - [c36]Burak Kocuk
A Computational Comparison of Optimization Methods for the Golomb Ruler Problem. CPAIOR 2019: 409-425 - [c35]Ziye Tang, Willem-Jan van Hoeve, Paul Shaw:
A Study on the Traveling Salesman Problem with a Drone. CPAIOR 2019: 557-564 - [c34]Yexiang Xue, Willem-Jan van Hoeve:
Embedding Decision Diagrams into Generative Adversarial Networks. CPAIOR 2019: 616-632 - 2017
- [c33]Willem-Jan van Hoeve, Sridhar R. Tayur:
Integer and Constraint Programming for Batch Annealing Process Planning. CP 2017: 431-439 - 2016
- [c32]Katherine Giles, Willem-Jan van Hoeve:
Solving a Supply-Delivery Scheduling Problem with Constraint Programming. CP 2016: 602-617 - [c31]Joris Kinable
Optimization Models for a Real-World Snow Plow Routing Problem. CPAIOR 2016: 229-245 - 2015
- [c30]David Bergman, André Augusto Ciré, Willem-Jan van Hoeve:
Improved Constraint Propagation via Lagrangian Decomposition. CP 2015: 30-38 - [c29]Brian Kell, Ashish Sabharwal, Willem-Jan van Hoeve:
BDD-Guided Clause Generation. CPAIOR 2015: 215-230 - 2014
- [c28]David Bergman, André A. Ciré, Willem Jan van Hoeve, John N. Hooker:
Optimization Bounds from Binary Decision Diagrams - (Extended Abstract). CP 2014: 903-907 - [c27]André A. Ciré, Willem-Jan van Hoeve:
Multivalued Decision Diagrams for Sequencing Problems - (Extended Abstract). CP 2014: 918-922 - [c26]David Bergman, André A. Ciré, Ashish Sabharwal, Horst Samulowitz, Vijay A. Saraswat, Willem Jan van Hoeve:
Parallel Combinatorial Optimization with Decision Diagrams. CPAIOR 2014: 351-367 - 2013
- [c25]Brian Kell, Willem Jan van Hoeve:
An MDD Approach to Multidimensional Bin Packing. CPAIOR 2013: 128-143 - [c24]Marla R. Slusky, Willem Jan van Hoeve:
A Lagrangian Relaxation for Golomb Rulers. CPAIOR 2013: 251-267 - 2012
- [c23]André A. Ciré, Willem Jan van Hoeve:
MDD Propagation for Disjunctive Scheduling. ICAPS 2012 - [c22]David Bergman, André A. Ciré, Willem Jan van Hoeve, John N. Hooker:
Variable Ordering for the Application of BDDs to the Maximum Independent Set Problem. CPAIOR 2012: 34-49 - [c21]André A. Ciré, Elvin Coban, Willem Jan van Hoeve:
Flow-Based Combinatorial Chance Constraints. CPAIOR 2012: 129-145 - 2011
- [c20]David Bergman, Willem Jan van Hoeve, John N. Hooker:
Manipulating MDD Relaxations for Combinatorial Optimization. CPAIOR 2011: 20-35 - [c19]Robin Steiger, Willem Jan van Hoeve, Radoslaw Szymanek:
An efficient generic network flow constraint. SAC 2011: 893-900 - 2010
- [c18]Samid Hoda, Willem Jan van Hoeve, John N. Hooker:
A Systematic Approach to MDD-Based Constraint Programming. CP 2010: 266-280 - [c17]Pascal Benchimol, Jean-Charles Régin, Louis-Martin Rousseau, Michel Rueher, Willem Jan van Hoeve:
Improving the Held and Karp Approach with Constraint Programming. CPAIOR 2010: 40-44 - [c16]Canan Gunes, Willem Jan van Hoeve, Sridhar R. Tayur:
Vehicle Routing for Food Rescue Programs: A Comparison of Different Approaches. CPAIOR 2010: 176-180 - [c15]Jean-Charles Régin, Louis-Martin Rousseau, Michel Rueher, Willem Jan van Hoeve:
The Weighted Spanning Tree Constraint Revisited. CPAIOR 2010: 287-291 - 2008
- [c14]Yuri Malitsky, Meinolf Sellmann, Willem Jan van Hoeve:
Length-Lex Bounds Consistency for Knapsack Constraints. CP 2008: 266-281 - [c13]Carla P. Gomes, Willem Jan van Hoeve, Ashish Sabharwal:
Connections in Networks: A Hybrid Approach. CPAIOR 2008: 303-307 - [c12]Willem Jan van Hoeve, Ashish Sabharwal:
Filtering Atmost1 on Pairs of Set Variables. CPAIOR 2008: 382-386 - 2007
- [c11]Carla P. Gomes, Willem Jan van Hoeve, Ashish Sabharwal, Bart Selman:
Counting CSP Solutions Using Generalized XOR Constraints. AAAI 2007: 204-209 - [c10]Willem Jan van Hoeve, Carla P. Gomes, Bart Selman, Michele Lombardi:
Optimal Multi-Agent Scheduling with Constraint Programming. AAAI 2007: 1813-1818 - [c9]Jon Conrad, Carla P. Gomes, Willem Jan van Hoeve, Ashish Sabharwal, Jordan Suter:
Connections in Networks: Hardness of Feasibility Versus Optimality. CPAIOR 2007: 16-28 - 2006
- [c8]Carla P. Gomes, Willem Jan van Hoeve, Bart Selman:
Constraint Programming for Distributed Planning and Scheduling. AAAI Spring Symposium: Distributed Plan and Schedule Management 2006: 157-158 - [c7]Willem Jan van Hoeve, Gilles Pesant, Louis-Martin Rousseau, Ashish Sabharwal:
Revisiting the Sequence Constraint. CP 2006: 620-634 - [c6]Carla P. Gomes, Willem Jan van Hoeve, Lucian Leahu:
The Power of Semidefinite Programming Relaxations for MAX-SAT. CPAIOR 2006: 104-118 - [c5]Willem Jan van Hoeve, Jean-Charles Régin:
Open Constraints in a Closed World. CPAIOR 2006: 244-257 - 2004
- [c4]Willem Jan van Hoeve:
A Hyper-arc Consistency Algorithm for the Soft Alldifferent Constraint. CP 2004: 679-689 - [c3]Willem Jan van Hoeve, Michela Milano:
Postponing Branching Decisions. ECAI 2004: 1105-1106 - 2003
- [c2]Willem Jan van Hoeve:
A Hybrid Constraint Programming and Semidefinite Programming Approach for the Stabe Set Problem. CP 2003: 407-421 - 2002
- [c1]Michela Milano, Willem Jan van Hoeve:
Reduced Cost-Based Ranking for Generating Promising Subproblems. CP 2002: 1-16
Editorship
- 2018
- [e2]Willem Jan van Hoeve:
Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 15th International Conference, CPAIOR 2018, Delft, The Netherlands, June 26-29, 2018, Proceedings. Lecture Notes in Computer Science 10848, Springer 2018, ISBN 978-3-319-93030-5 [contents] - 2009
- [e1]Willem Jan van Hoeve, John N. Hooker:
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. Lecture Notes in Computer Science 5547, Springer 2009, ISBN 978-3-642-01928-9 [contents]
Reference Works
- 2006
- [r1]Willem-Jan van Hoeve, Irit Katriel:
Global Constraints. Handbook of Constraint Programming 2006: 169-208
Informal and Other Publications
- 2022
- [i10]Amin Hosseininasab, Willem-Jan van Hoeve, André A. Ciré:
Memory Efficient Tries for Sequential Pattern Mining. CoRR abs/2202.06834 (2022) - 2018
- [i9]Amin Hosseininasab, Willem-Jan van Hoeve, André Augusto Ciré:
Constraint-based Sequential Pattern Mining with Decision Diagrams. CoRR abs/1811.06086 (2018) - [i8]J. Christopher Beck, Daniele Magazzeni, Gabriele Röger, Willem-Jan van Hoeve:
Planning and Operations Research (Dagstuhl Seminar 18071). Dagstuhl Reports 8(2): 26-63 (2018) - 2004
- [i7]Willem Jan van Hoeve, Michela Milano:
Decomposition Based Search - A theoretical and experimental evaluation. CoRR cs.AI/0407040 (2004) - [i6]Willem Jan van Hoeve, Michela Milano:
Postponing Branching Decisions. CoRR cs.AI/0407042 (2004) - [i5]Michela Milano, Willem Jan van Hoeve:
Reduced cost-based ranking for generating promising subproblems. CoRR cs.AI/0407044 (2004) - [i4]Willem Jan van Hoeve, Gilles Pesant, Louis-Martin Rousseau:
On Global Warming (Softening Global Constraints). CoRR cs.AI/0408023 (2004) - [i3]Willem Jan van Hoeve:
Exploiting Semidefinite Relaxations in Constraint Programming. CoRR cs.DM/0407041 (2004) - [i2]Willem Jan van Hoeve:
A Hyper-Arc Consistency Algorithm for the Soft Alldifferent Constraint. CoRR cs.PL/0407043 (2004) - 2001
- [i1]Willem Jan van Hoeve:
The alldifferent Constraint: A Survey. CoRR cs.PL/0105015 (2001)
Coauthor Index
André Augusto Ciré
aka: André A. Ciré
aka: André A. Ciré
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.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-07 21:37 CET 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: