Willem-Jan van Hoeve

Associate Professor of Operations Research

Education:
  • University of Twente - M.Sc. - 2000
  • University of Amsterdam, Centrum voor Wiskunde en Informatica - Ph.D. - 2005
Areas of Expertise:
  • 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:
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 (45751)
    (Masters Program)
    • 2014, Mini 3 (Section: F)
    • 2014, Mini 3 (Section: M)
  • 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)
  • Operations Research Implementations (45950)
    (Masters Program)
    • 2013, Mini 2 (Section: A)
  • Business Analytics Capstone (45959)
    (Masters Program)
    • 2014, Spring (Section: A)
  • Networks and Matchings (47836)
    (Ph.D. Program)
    • 2014, Mini 1 (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)