Publications

In Press

In Press

  • The Impact of Dedicated Lanes on On-Demand Multimodal Transit Systems. Jason Lu, Anthony Trasatti, Hongzhao Guan, Kevin Dalmeijer, and Pascal Van Hentenryck. Travel Behaviour and Society. (to appear).
  • Public Transit for Special Events: Ridership Prediction and Train Scheduling. Tejas Santanam, Anthony Trasatti, Pascal Van Hentenryck, and Hanyu Zhang, IEEE Transactions on Intelligent Transportation Systems.
  • Path-Based Formulations for the Design of On-demand Multimodal Transit Systems with Adoption Awareness. Hongzhao Guan, Beste Basciftci, and Pascal Van Hentenryck. INFORMS Journal on Computing.
  • Polyhedral Relaxations for Optimal Pump Scheduling of Potable Water Distribution Networks. Byron Tasseff, Russell Bent, Carleton Coffrin, Clayton Barrows, Devon Sigler, Jonathan Stickel, Ahmed S. Zamzam, Yang Liu, and Pascal Van Hentenryck. INFORMS Journal on Computing.
  • Programmation Par Contraintes, Revue Ouverte d’Intelligence Artificielle.

2024

  • End-to-End Feasible Optimization Proxies for Large-Scale Economic Dispatch. Wenbo Chen, Mathieu Tanneau, and Pascal Van Hentenryck. IEEE Transactions on Power Systems, 39(2), 4723-4734, March 2024.
  • Compact Optimization Learning for AC Optimal Power Flow, Seonho Park, Wenbo Chen, Terrence W.K. Mak, and Pascal Van Hentenryck, IEEE Transactions on Power Systems, 39(2), 4350-4359, March 2024.
  • Confidence-Aware Graph Neural Networks for Learning Reliability Assessment Commitments. Seonho Park, Wenbo Chen, Dahye Han, Mathieu Tanneau, and Pascal Van Hentenryck. IEEE Transactions on Power Systems, 39(2), 3839-3850, March 2024.
  • AI4OPT: AI Institute for Advances in Optimization. Pascal Van Hentenryck and Kevin Dalmeijer.
    AI Magazine, 1-6, February 2024.
  • Comparing Different Methods for Connecting Bike Lanes to Generate a Complete Bike Network and Identify Potential Complete Streets in Atlanta. Uijeong Hwang, Ilsu Kim, Subhrajit Guhathakurta, and Pascal Van Hentenryck. Journal of Cycling and Micromobility Research, 2, 2024.
  • Bound Tightening using Rolling-Horizon Decomposition for Neural Network Verification. Haoruo Zhao, Hassan Hijazi, Haydn Jones, Juston Moore, Mathieu Tanneau, Pascal Van Hentenryck.
    In the the 21st International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research (CPAIOR 2024), Uppsala, Sweden, May 2024.
  • Investigating Large Neighbourhood Search for Bus Driver Scheduling. Tommaso Mazzoli, Lucas Kletzander, Nysret Musliu, and Pascal Van Hentenryck. Proceedings of the 34th International Conference on Automated Planning and Scheduling, Banff, Alberta, Canada, June 2024.
  • Finding the epsilon and delta of Traditional Disclosure Control Systems. Keyu Zhu, Ferdinando Fioretto, Pascal Van Hentenryck, Saswat Das, Christine Task. In the  Thirty-Eight AAAI Conference on Artificial Intelligence (AAAI-24), Vancouver, February, 2024.
  • Revitalizing Public Transit In Low Ridership Areas: An Exploration of On-demand Multimodal Transit Systems. Jiawei Lu, Connor Riley, Krishna Murthy Gurumurthy, and Pascal Van Hentenryck. Transportation Research Board Annual Conference (TRB-2024), January 2024.

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

Working Papers

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

Working Papers