Willem-Jan van Hoeve

Assistant Professor of Operations Research

Teaching and Research Interests:

• Combinatorial optimization; constraint programming; mathematical programming; integration of constraint programming and mathematical programming

Website and/or personal homepage:
http://www.andrew.cmu.edu/user/vanhoeve

Published Papers:

• Wildlife Corridors as a Connected Subgraph Problem
  Journal of Environmental Economics and Management 63(1), 2012; 1-18.
  (with: J. Conrad, C. Gomes, A. Sabharwal, J. Suter)
  
  
• New Filtering Algorithms for Combinations of Among Constraints
  Constraints 14, 2009; 273-292.
  (with: G. Pesant, L. Rousseau, A. Sabharwal)
  
  
• Filtering Atmost1 on Pairs of Set Variables
  In Proceedings of the Fifth International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR 2008), LNCS 5015, 2008; 382-386.
  (with: A. Sabharwal)
  
  
• Connections in Networks: A Hybrid Approach
  In Proceedings of the Fifth International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR 2008), LNCS 5015, 2008; 303-307.
  (with: C. Gomes, A. Sabharwal)
  
  
• Length-Lex Bounds Consistency for Knapsack Constraints
  In Proceedings of the 14th International Conference on Principles and Practice of Constraint Programming (CP 2008), 2008.
  (with: Yuri Malitsky, Meinolf Sellmann)
  
  
• Connections in Networks: Hardness of Feasibility versus Optimality
  In Proceedings of the Fourth International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2007; 16-28.
  (with: J. Conrad, C. Gomes, A. Sabharwal, J. Suter)
  
  
• Optimal Multi-Agent Scheduling with Constraint Programming
  In Proceedings of the Nineteenth Conference on Innovative Applications of Artificial Intelligence, 2007.
  (with: C. Gomes, M. Lombardi, B. Selman)
  
  
• Counting CSP Solutions Using Generalized XOR Constraints
  In Proceedings of the Twenty-Second Conference on Artificial Intelligence, 2007.
  (with: C. Gomes, A. Sabharwal, B. Selman)
  
  
• Exploiting Semidefinite Relaxations in Constraint Programming
  Computers and Operations Research 33(10), 2006; 2787-2804.
  
  
• Global Constraints
  Handbook of Constraint Programming, Elsevier, 2006.
  (with: I. Katriel)
  
  
• Open Constraints in a Closed World
  In Proceedings of the Third International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2006; 244-257.
  (with: J. Regin)
  
  
• The Power of Semidefinite Programming Relaxations for MAX-SAT.
  In Proceedings of the Third International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2006; 104-118.
  (with: C. Gomes, L. Leahu)
  
  
• On Global Warming: Flow-Based Soft Global Constraints
  Journal of Heuristics 12(4-5), 2006; 347-373.
  (with: G. Pesant, L. Rousseau)
  
  
• Revisiting the Sequence Constraint
  In Proceedings of the Twelfth International Conference on Principles and Practice of Constraint Programming, 2006; 620-634.
  (with: G. Pesant, L. Rousseau, A. Sabharwal)
  
  
• Postponing Branching Decisions
  In 16th European Conference on Artificial Intelligence, 2004; 1105-1106.
  (with: M. Milano)
  
  
• A Hyper-Arc Consistency Algorithm for the Soft Alldifferent Constraint
  In Tenth International Conference on Principles and Practice of Constraint Programming, 2004; 679-689.
  
  
• Reduced Cost-Based Ranking for Generating Promising Subproblems
  In Eighth International Conference on Principles and Practice of Constraint Programming, 2002; 1-16.
  (with: M. Milano)
  
  

Working Papers:

• Inventory Rebalancing and Vehicle Routing in Bike Sharing Systems
  February, 2013.
  (with: Jasper Schuijbroek, Robert Hampshire)
  
  
• Optimization Bounds from Binary Decision Diagrams
  March, 2012.
  (with: David Bergman, Andre Cire, John Hooker)
  
  
• MDD Propagation for Sequence Constraints
  June, 2011.
  
  
• Flexible Milk-Runs for Stochastic Vehicle Routing
  October, 2010.
  (with: B. Peterson, Sunder Kekre, Laurens Debo)
  
  

Awards:

• Google Research Award - 2012
• NSF Research Award - 2011-2014
• George Leland Bach MBA Teaching Award - 2011
• Berkman Faculty Development Grant - 2010
• BP Research Chair, Tepper School of Business - 2008-2009
• Best paper award at the Twelfth International Conference on Principles and Practice of Constraint Programming for "Revisiting The Sequence Constraint" - 2006
• Best student paper award at the Tenth International Conference on Principles and Practice of Constraint Programming for "A Hyper-Arc Consistency Algorithm for the Soft Alldifferent Constraint - 2004

Courses Taught:

• Optimization and Decision Making (45760)
  (Masters Program)
  • 2009, Mini 1 (Section: A)
  • 2009, Mini 1 (Section: B)
  • 2009, Mini 1 (Section: C)
  • 2008, Mini 1 (Section: F)
  • 2008, Mini 1 (Section: M)

• Applications of Operations Research (45860)
  (Masters Program)
  • 2012, Mini 4 (Section: A)
  • 2012, Mini 4 (Section: E)
  • 2012, Mini 4 (Section: M)
  • 2011, Mini 3 (Section: A)
  • 2011, Mini 3 (Section: E)

• Optimization Models for Operations (45862)
  (Masters Program)
  • 2011, Mini 3 (Section: A)
  • 2010, Mini 3 (Section: A)
  • 2009, Mini 3 (Section: A)
  • 2008, Mini 3 (Section: A)

• Operations Research Implementations (45864)
  (Masters Program)
  • 2012, Mini 3 (Section: A)
  • 2011, Mini 4 (Section: A)
  • 2010, Mini 3 (Section: A)

• Business Analytics Project (45865)
  (Masters Program)
  • 2012, Spring (Section: A)
  • 2011, Spring (Section: A)

• Optimization,Logic & Constraint Satisfactio (47844)
  (Ph.D. Program)
  • 2007, Mini 1 (Section: A)

• Constraint Programming (47862)
  (Ph.D. Program)
  • 2013, Mini 2 (Section: A)

• Mathematical Models for Consulting (70460)
  (BSBA Program)
  • 2008, Spring (Section: A)