Faculty

Institution

Unit

Venue

Willem-Jan van Hoeve

Carnegie Bosch Professor of Operations Research

Carnegie Mellon University

Affiliations

Tepper School of Business

Willem-jan Van Hoeve is currently serving as a Tepper School Of Business Carnegie Bosch Professor of Operations Research at Carnegie Mellon University.

Honors

Create free account to unlock more features

Experiences

Create free account to unlock more features

Education

Create free account to unlock more features

Willem-Jan van Hoeve

Carnegie Mellon University

Carnegie Bosch Professor of Operations Research

You can click a keyword to filter the displayed items

computer science constraint programming applied mathematics systems engineering operations research computational optimization mathematical programming combinatorial optimization theoretical computer science mathematical optimization artificial intelligence constraint solving constraint satisfaction machine learning engineering optimization formal methods optimization problems constrained optimization computational intelligence logistics decision diagrams informatics logic in computer science automated reasoning semidefinite programming computer engineering intelligent computing scheduling problems pattern mining semi-definite optimization vehicle routing problems transportation engineering automated deduction networked system design logistics management discrete optimization wildlife animal conservation evolutionary computation filtering technique resource constraints network theory route planning global constraints combinatorial optimization problems or techniques mdd propagation vehicular technology inventory management global warming information filtering system graph drawing wildlife corridors mdd-based constraint programming sequence-to-pattern generation lng ship scheduling operational management supply management operational market public transportation management landscape connectivity automated decision-making foundation models sat solving satisfiability emergency logistics routing protocols filter design network models inventory rebalancing vehicle routing mdd relaxations multi-agent pathfinding sequence constraint csp solutions csp variables graphic interface intelligent systems operational systems engineering management pure mathematics management engineering history of mathematics discrete mathematics numerical computation numerical algorithms program quality philosophy of mathematics operation management applied artificial intelligence numerical mathematics computational model theory numerical analysis soft computing computational mathematics mathematics education foundation of mathematics theory of computation software engineering image analysis approximation theory optical image recognition software practice business intelligence general systems models of computation system software software design operational efficiency digital image processing numerical treatment

Video Presentations

Notable Scholarly Works

Notable Federal Grants

Collaborators

A Single-Level Reformulation of Binary Bilevel Programs Using Decision Diagrams. Mathematical Programming (2025)

branch-and-bound algorithmslogic in computer sciencedesign optimizationoperations researchcomputational engineeringcomputer scienceautomated deductionsystems engineeringmultidisciplinary optimizationmixed integer optimizationformal verificationformal methodslinear programmingprogramming languagesprogramming language theorytheoretical computer scienceengineering optimizationtheory of computationinteger optimizationcombinatorial optimizationmathematical programmingapplied mathematics

Provider Network Selection and Plan Design in Health Insurance. (2025)

health policypublic healthmedical systemshealth carefinancial protectioninsurancehealth systemshealth financinghealth insurance

An Introduction to Decision Diagrams for Optimization. (2024)

Willem-Jan van Hoeve

mathematical optimizationdynamic optimizationdata-driven decision supportoptimization problemsdecision theorydecision diagramscomputational optimizationdecision analysisapplied mathematics

CODD: A Decision Diagram-Based Solver for Combinatorial Optimization. Proceedings of ECAI (2024)

combinatoricscomputer scienceoperations researchcombinatorial problemscombinatorial optimizationcomputational optimizationdecision diagram-based solver

CODD: A Decision Diagram-Based Solver for Combinatorial Optimization. Frontiers in artificial intelligence and applications (2024)

Laurent MichelWillem-Jan van Hoeve

artificial intelligencecomputer scienceoptimization problemscombinatorial optimizationdecision diagram-based solver

Column Elimination: An Iterative Approach to Solving Integer Programs. https://optimization-online.org/?p=28039 (2024)

mathematical optimizationbranch-and-bound algorithmsdesign optimizationnumerical linear algebradiscrete optimizationnumerical algorithmscomputational engineeringcomputer sciencesystems engineeringcomputational complexitymultidisciplinary optimizationmixed integer optimizationglobal optimizationlinear programmingcomputational mathematicstheoretical computer scienceapproximation theoryinteger optimizationcombinatorial optimizationmathematical programmingcomputational optimizationapplied mathematics

Memory-Efficient Sequential Pattern Mining With Hybrid Tries. Journal of Machine Learning Research (2024)

computer sciencefrequent pattern mininghybrid triespattern miningpattern discoverydata miningmachine learning researchdata sciencecomputational intelligencepattern recognitionmachine learning

Column Elimination for Capacitated Vehicle Routing Problems. Lecture notes in computer science (2023)

Anthony KarahaliosWillem-Jan van Hoeve

computer sciencelogic in computer sciencevehicle routing problemscolumn eliminationlogisticsscheduling problems

Constraint Programming. Encyclopedia of Optimization (2023)

systems engineeringdesign optimizationconstraint programmingapplied mathematicscomputational mathematicsmathematical programmingtheoretical computer scienceconstrained optimizationglobal optimization

Constraint Programming. Encyclopedia of Optimization (2023)

1
2
3
4
5
17
10 / page

Willem-Jan van Hoeve

Carnegie Bosch Professor of Operations Research

Carnegie Mellon University

Affiliations

Tepper School of Business

Willem-jan Van Hoeve is currently serving as a Tepper School Of Business Carnegie Bosch Professor of Operations Research at Carnegie Mellon University.

Honors

Create free account to unlock more features

Experiences

Create free account to unlock more features

Education

Create free account to unlock more features

Willem-Jan van Hoeve

Carnegie Mellon University

Carnegie Bosch Professor of Operations Research

You can click a keyword to filter the displayed items

Video Presentations

Notable Scholarly Works

Notable Federal Grants

Collaborators

A Single-Level Reformulation of Binary Bilevel Programs Using Decision Diagrams. Mathematical Programming (2025)

Provider Network Selection and Plan Design in Health Insurance. (2025)

health policypublic healthmedical systemshealth carefinancial protectioninsurancehealth systemshealth financinghealth insurance

An Introduction to Decision Diagrams for Optimization. (2024)

Willem-Jan van Hoeve

mathematical optimizationdynamic optimizationdata-driven decision supportoptimization problemsdecision theorydecision diagramscomputational optimizationdecision analysisapplied mathematics

CODD: A Decision Diagram-Based Solver for Combinatorial Optimization. Proceedings of ECAI (2024)

combinatoricscomputer scienceoperations researchcombinatorial problemscombinatorial optimizationcomputational optimizationdecision diagram-based solver

CODD: A Decision Diagram-Based Solver for Combinatorial Optimization. Frontiers in artificial intelligence and applications (2024)

Laurent MichelWillem-Jan van Hoeve

artificial intelligencecomputer scienceoptimization problemscombinatorial optimizationdecision diagram-based solver

Column Elimination: An Iterative Approach to Solving Integer Programs. https://optimization-online.org/?p=28039 (2024)

Memory-Efficient Sequential Pattern Mining With Hybrid Tries. Journal of Machine Learning Research (2024)

computer sciencefrequent pattern mininghybrid triespattern miningpattern discoverydata miningmachine learning researchdata sciencecomputational intelligencepattern recognitionmachine learning

Column Elimination for Capacitated Vehicle Routing Problems. Lecture notes in computer science (2023)

Anthony KarahaliosWillem-Jan van Hoeve

computer sciencelogic in computer sciencevehicle routing problemscolumn eliminationlogisticsscheduling problems

Constraint Programming. Encyclopedia of Optimization (2023)

systems engineeringdesign optimizationconstraint programmingapplied mathematicscomputational mathematicsmathematical programmingtheoretical computer scienceconstrained optimizationglobal optimization

Constraint Programming. Encyclopedia of Optimization (2023)

1
2
3
4
5
17
10 / page

Similar Faculty Members

Benjamin Moseley

Institution

Carnegie Mellon University

numerical mathematics

general systems

Fatma Kılınç-Karzan

Institution

Carnegie Mellon University

numerical mathematics

general systems

John Mitchell

Institution

Rensselaer Polytechnic Institute

semi-definite optimization

design optimization

John Hooker

Institution

Carnegie Mellon University

business intelligence

technology

William Yeoh

Institution

Washington University in St. Louis

multidisciplinary ai

distributed artificial intelligence

Maxim Likhachev

Institution

Carnegie Mellon University

digital image processing

automated deduction

Dejan Slepčev

Institution

Carnegie Mellon University

numerical mathematics

general systems

Frank Pfenning

Institution

Carnegie Mellon University

reliability

digital image processing

Tuomas Sandholm

Institution

Carnegie Mellon University

general systems

digital image processing

David P. Williamson

Institution

Cornell University

network science

network algorithm

Similar Faculty Members

Benjamin Moseley

Institution

Carnegie Mellon University

numerical mathematics

general systems

Fatma Kılınç-Karzan

Institution

Carnegie Mellon University

numerical mathematics

general systems

John Mitchell

Institution

Rensselaer Polytechnic Institute

semi-definite optimization

design optimization

John Hooker

Institution

Carnegie Mellon University

business intelligence

technology

William Yeoh

Institution

Washington University in St. Louis

multidisciplinary ai

distributed artificial intelligence

Maxim Likhachev

Institution

Carnegie Mellon University

digital image processing

automated deduction

Dejan Slepčev

Institution

Carnegie Mellon University

numerical mathematics

general systems

Frank Pfenning

Institution

Carnegie Mellon University

reliability

digital image processing

Tuomas Sandholm

Institution

Carnegie Mellon University

general systems

digital image processing

David P. Williamson

Institution

Cornell University

network science

network algorithm