| 2026 | CP | Paratransit Optimization with Constraint Programming: A Case Study in Savannah, Georgia. | Liam Jagrowski, Kevin Dalmeijer, Tinghan Ye, Pascal Van Hentenryck |
| 2026 | CPAIOR | Transit Network Design with Two-Level Demand Uncertainties: A Machine Learning and Contextual Stochastic Optimization Framework. | Hongzhao Guan, Beste Basciftci, Pascal Van Hentenryck |
| 2025 | AAAI | Contextual Stochastic Optimization for School Desegregation Policymaking. | Hongzhao Guan, Nabeel Gillani, Tyler Simko, Jasmine Mangat, Pascal Van Hentenryck |
| 2025 | ICDM | SPOT: Spatio-Temporal Pattern Mining and Optimization for Load Consolidation in Freight Transportation Networks. | Sikai Cheng, Amira Hijazi, Jeren Konak, Alan L. Erera, Pascal Van Hentenryck |
| 2024 | AAAI | Finding ε and δ of Traditional Disclosure Control Systems. | Saswat Das, Keyu Zhu, Christine Task, Pascal Van Hentenryck, Ferdinando Fioretto |
| 2024 | CP | A New Optimization Model for Multiple-Control Toffoli Quantum Circuit Design. | Jihye Jung, Kevin Dalmeijer, Pascal Van Hentenryck |
| 2024 | CPAIOR | Bound Tightening Using Rolling-Horizon Decomposition for Neural Network Verification. | Haoruo Zhao, Hassan L. Hijazi, Haydn Thomas Jones, Juston Moore, Mathieu Tanneau, Pascal Van Hentenryck |
| 2024 | ECAI | Learning Joint Models of Prediction and Optimization. | James Kotary, Vincenzo Di Vito, Jacob Christopher, Pascal Van Hentenryck, Ferdinando Fioretto |
| 2024 | ICAPS | Investigating Large Neighbourhood Search for Bus Driver Scheduling. | Tommaso Mannelli Mazzoli, Lucas Kletzander, Pascal Van Hentenryck, Nysret Musliu |
| 2024 | ICML | Compact Optimality Verification for Optimization Proxies. | Wenbo Chen, Haoruo Zhao, Mathieu Tanneau, Pascal Van Hentenryck |
| 2024 | IJCAI | On the Effects of Fairness to Adversarial Vulnerability. | Cuong Tran, Keyu Zhu, Pascal Van Hentenryck, Ferdinando Fioretto |
| 2024 | IJCAI | Empathy and AI: Achieving Equitable Microtransit for Underserved Communities. | Eleni Bardaka, Pascal Van Hentenryck, Crystal Chen Lee, Christopher B. Mayhorn, Kai Monast, Samitha Samaranayake, Munindar P. Singh |
| 2023 | AAAI | Self-Supervised Primal-Dual Learning for Constrained Optimization. | Seonho Park, Pascal Van Hentenryck |
| 2023 | CP | Constraint Programming to Improve Hub Utilization in Autonomous Transfer Hub Networks (Short Paper). | Chungjae Lee, Wirattawut Boonbandansook, Vahid Eghbal Akhlaghi, Kevin Dalmeijer, Pascal Van Hentenryck |
| 2023 | IJCAI | SF-PATE: Scalable, Fair, and Private Aggregation of Teacher Ensembles. | Cuong Tran, Keyu Zhu, Ferdinando Fioretto, Pascal Van Hentenryck |
| 2023 | IJCAI | Reinforcement Learning from Optimization Proxy for Ride-Hailing Vehicle Relocation (Extended Abstract). | Enpeng Yuan, Wenbo Chen, Pascal Van Hentenryck |
| 2022 | AAAI | Fast Approximations for Job Shop Scheduling: A Lagrangian Dual Deep Learning Method. | James Kotary, Ferdinando Fioretto, Pascal Van Hentenryck |
| 2022 | CP | Sequence Variables for Routing Problems. | Augustin Delecluse, Pierre Schaus, Pascal Van Hentenryck |
| 2022 | IJCAI | Differential Privacy and Fairness in Decisions and Learning Tasks: A Survey. | Ferdinando Fioretto, Cuong Tran, Pascal Van Hentenryck, Keyu Zhu |
| 2022 | IJCAI | Post-processing of Differentially Private Data: A Fairness Perspective. | Keyu Zhu, Ferdinando Fioretto, Pascal Van Hentenryck |
| 2022 | WWW | End-to-End Learning for Fair Ranking Systems. | James Kotary, Ferdinando Fioretto, Pascal Van Hentenryck, Ziwei Zhu |
| 2021 | AAAI | Differentially Private and Fair Deep Learning: A Lagrangian Dual Approach. | Cuong Tran, Ferdinando Fioretto, Pascal Van Hentenryck |
| 2021 | AAAI | Branch and Price for Bus Driver Scheduling with Complex Break Constraints. | Lucas Kletzander, Nysret Musliu, Pascal Van Hentenryck |
| 2021 | AAAI | Bias and Variance of Post-processing in Differential Privacy. | Keyu Zhu, Pascal Van Hentenryck, Ferdinando Fioretto |
| 2021 | IJCAI | Decision Making with Differential Privacy under a Fairness Lens. | Cuong Tran, Ferdinando Fioretto, Pascal Van Hentenryck, Zhiyan Yao |
| 2021 | IJCAI | End-to-End Constrained Optimization Learning: A Survey. | James Kotary, Ferdinando Fioretto, Pascal Van Hentenryck, Bryan Wilder |
| 2021 | IJCAI | Real-Time Pricing Optimization for Ride-Hailing Quality of Service. | Enpeng Yuan, Pascal Van Hentenryck |
| 2020 | AAAI | Predicting AC Optimal Power Flows: Combining Deep Learning and Lagrangian Dual Methods. | Ferdinando Fioretto, Terrence W. K. Mak, Pascal Van Hentenryck |
| 2020 | CPAIOR | Bilevel Optimization for On-Demand Multimodal Transit Systems. | Beste Basciftci, Pascal Van Hentenryck |
| 2020 | CPAIOR | Transfer-Expanded Graphs for On-Demand Multimodal Transit Systems. | Kevin Dalmeijer, Pascal Van Hentenryck |
| 2020 | IJCAI | OptStream: Releasing Time Series Privately (Extended Abstract). | Ferdinando Fioretto, Pascal Van Hentenryck |
| 2020 | IJCAI | Differential Privacy for Stackelberg Games. | Ferdinando Fioretto, Lesia Mitridati, Pascal Van Hentenryck |
| 2020 | IJCAI | Real-Time Dispatching of Large-Scale Ride-Sharing Systems: Integrating Optimization, Machine Learning, and Model Predictive Control. | Connor Riley, Pascal Van Hentenryck, Enpeng Yuan |
| 2019 | CP | Differential Privacy of Hierarchical Census Data: An Optimization Approach. | Ferdinando Fioretto, Pascal Van Hentenryck |
| 2019 | CPAIOR | Column Generation for Real-Time Ride-Sharing Operations. | Connor Riley, Antoine Legrain, Pascal Van Hentenryck |
| 2019 | IJCAI | Privacy-Preserving Obfuscation of Critical Infrastructure Networks. | Ferdinando Fioretto, Terrence W. K. Mak, Pascal Van Hentenryck |
| 2018 | AAAI | Community-Based Trip Sharing for Urban Commuting. | Mohd. Hafiz Hasan, Pascal Van Hentenryck, Ceren Budak, Jiayu Chen, Chhavi Chaudhry |
| 2018 | CPAIOR | Constrained-Based Differential Privacy: Releasing Optimal Power Flow Benchmarks Privately - Releasing Optimal Power Flow Benchmarks Privately. | Ferdinando Fioretto, Pascal Van Hentenryck |
| 2018 | CPAIOR | Constraint and Mathematical Programming Models for Integrated Port Container Terminal Operations. | Damla Kizilay, Deniz Trsel Eliiyi, Pascal Van Hentenryck |
| 2017 | AAAI | Taming the Matthew Effect in Online Markets with Social Influence. | Franco Berbeglia, Pascal Van Hentenryck |
| 2017 | CP | A Column-Generation Algorithm for Evacuation Planning with Elementary Paths. | Mohd. Hafiz Hasan, Pascal Van Hentenryck |
| 2017 | CP | Branch-and-Check with Explanations for the Vehicle Routing Problem with Time Windows. | Edward Lam, Pascal Van Hentenryck |
| 2017 | WWW | Taming the Unpredictability of Cultural Markets with Social Influence. | Andrs Abeliuk, Gerardo Berbeglia, Pascal Van Hentenryck, Tad Hogg, Kristina Lerman |
| 2017 | WWW | Expecting to be HIP: Hawkes Intensity Processes for Social Media Popularity. | Marian-Andrei Rizoiu, Lexing Xie, Scott Sanner, Manuel Cebrin, Honglin Yu, Pascal Van Hentenryck |
| 2016 | AAAI | Optimizing Infrastructure Enhancements for Evacuation Planning. | Kanal Kumar, Julia Romanski, Pascal Van Hentenryck |
| 2016 | AAAI | Benders Decomposition for Large-Scale Prescriptive Evacuations. | Julia Romanski, Pascal Van Hentenryck |
| 2016 | AAAI | Intelligent Habitat Restoration Under Uncertainty. | Tommaso Urli, Jana Brotnkov, Philip Kilby, Pascal Van Hentenryck |
| 2016 | CPAIOR | Parallel Composition of Scheduling Solvers. | Daniel Fontaine, Laurent D. Michel, Pascal Van Hentenryck |
| 2016 | CPAIOR | Optimal Flood Mitigation over Flood Propagation Approximations. | Byron Tasseff, Russell Bent, Pascal Van Hentenryck |
| 2016 | IJCAI | Interdependent Scheduling Games. | Andrs Abeliuk, Haris Aziz, Gerardo Berbeglia, Serge Gaspers, Petr Kalina, Nicholas Mattei, Dominik Peters, Paul Stursberg, Pascal Van Hentenryck, Toby Walsh |
| 2016 | IJCAI | Asymptotic Optimality of Myopic Optimization in Trial-Offer Markets with Social Influence. | Andrs Abeliuk, Gerardo Berbeglia, Felipe Maldonado, Pascal Van Hentenryck |
| 2016 | ICWSM | Aligning Popularity and Quality in Online Cultural Markets. | Pascal Van Hentenryck, Andrs Abeliuk, Franco Berbeglia, Felipe Maldonado, Gerardo Berbeglia |
| 2015 | AAAI | Convergent Plans for Large-Scale Evacuations. | Caroline Even, Victor Pillac, Pascal Van Hentenryck |
| 2015 | AAAI | Power System Restoration With Transient Stability. | Hassan L. Hijazi, Terrence W. K. Mak, Pascal Van Hentenryck |
| 2015 | AAAI | Emerging Architectures for Global System Science. | Michela Milano, Pascal Van Hentenryck |
| 2015 | CP | Strengthening Convex Relaxations with Bound Tightening for Power Network Optimization. | Carleton Coffrin, Hassan L. Hijazi, Pascal Van Hentenryck |
| 2015 | CP | A Constraint Programming Approach for Non-preemptive Evacuation Scheduling. | Caroline Even, Andreas Schutt, Pascal Van Hentenryck |
| 2015 | CP | Joint Vehicle and Crew Routing and Scheduling. | Edward Lam, Pascal Van Hentenryck, Philip Kilby |
| 2015 | IJCAI | A Bargaining Mechanism for One-Way Games. | Andrs Abeliuk, Gerardo Berbeglia, Pascal Van Hentenryck |
| 2014 | AAAI | Propagating Regular Counting Constraints. | Nicolas Beldiceanu, Pierre Flener, Justin Pearson, Pascal Van Hentenryck |
| 2014 | CP | Constraint-Based Lagrangian Relaxation. | Daniel Fontaine, Laurent D. Michel, Pascal Van Hentenryck |
| 2014 | CP | Domain Views for Constraint Programming. | Pascal Van Hentenryck, Laurent D. Michel |
| 2014 | ECAI | NICTA Evacuation Planner: Actionable Evacuation Plans with Contraflows. | Caroline Even, Victor Pillac, Pascal Van Hentenryck |
| 2014 | SIGCSE | Teaching creative problem solving in a MOOC. | Pascal Van Hentenryck, Carleton Coffrin |
| 2013 | CP | Model Combinators for Hybrid Optimization. | Daniel Fontaine, Laurent Michel, Pascal Van Hentenryck |
| 2013 | CP | Explaining Propagators for Edge-Valued Decision Diagrams. | Graeme Gange, Peter J. Stuckey, Pascal Van Hentenryck |
| 2013 | CP | Decide Different! | Pascal Van Hentenryck |
| 2013 | CP | The Objective-CP Optimization System. | Pascal Van Hentenryck, Laurent Michel |
| 2013 | CP | Residential Demand Response under Uncertainty. | Paul Scott, Sylvie Thibaux, Menkes van den Briel, Pascal Van Hentenryck |
| 2013 | IJCAI | Computational Disaster Management. | Pascal Van Hentenryck |
| 2012 | AAAI | Last-Mile Restoration for Multiple Interdependent Infrastructures. | Carleton Coffrin, Pascal Van Hentenryck, Russell Bent |
| 2012 | CP | An Optimal Filtering Algorithm for Table Constraints. | Jean-Baptiste Mairy, Pascal Van Hentenryck, Yves Deville |
| 2012 | CP | Constraint Satisfaction over Bit-Vectors. | Laurent D. Michel, Pascal Van Hentenryck |
| 2012 | CPAIOR | Pheromone-Based Heuristic Column Generation for Vehicle Routing Problems with Black Box Feasibility. | Florence Massen, Yves Deville, Pascal Van Hentenryck |
| 2012 | CPAIOR | Activity-Based Search for Black-Box Constraint Programming Solvers. | Laurent Michel, Pascal Van Hentenryck |
| 2012 | CPAIOR | Randomized Adaptive Vehicle Decomposition for Large-Scale Power Restoration. | Ben Simon, Carleton Coffrin, Pascal Van Hentenryck |
| 2012 | ECAI | Joint Assessment and Restoration of Power Systems. | Pascal Van Hentenryck, Nabeel Gillani, Carleton Coffrin |
| 2011 | CP | Large Neighborhood Search for Dial-a-Ride Problems. | Siddhartha Jain, Pascal Van Hentenryck |
| 2011 | CP | Checking and Filtering Global Set Constraints. | Justin Yip, Pascal Van Hentenryck |
| 2011 | CPAIOR | Spatial and Objective Decompositions for Very Large SCAPs. | Carleton Coffrin, Pascal Van Hentenryck, Russell Bent |
| 2011 | CPAIOR | Identifying Patterns in Sequences of Variables. | Alessandro Zanarini, Pascal Van Hentenryck |
| 2011 | IJCAI | Large Neighborhood Search and Adaptive Randomized Decompositions for Flexible Jobshop Scheduling. | Dario Pacino, Pascal Van Hentenryck |
| 2011 | IJCAI | Symmetry Breaking via LexLeader Feasibility Checkers. | Justin Yip, Pascal Van Hentenryck |
| 2010 | CP | Spatial, Temporal, and Hybrid Decompositions for Large-Scale Vehicle Routing with Time Windows. | Russell Bent, Pascal Van Hentenryck |
| 2010 | CP | Domain Consistency with Forbidden Values. | Yves Deville, Pascal Van Hentenryck |
| 2010 | CP | Load Balancing and Almost Symmetries for RAMBO Quorum Hosting. | Laurent Michel, Alexander A. Shvartsman, Elaine L. Sonderegger, Pascal Van Hentenryck |
| 2010 | CP | Exponential Propagation for Set Variables. | Justin Yip, Pascal Van Hentenryck |
| 2010 | CPAIOR | Constraint-Based Local Search for Constrained Optimum Paths Problems. | Pham Quang Dung, Yves Deville, Pascal Van Hentenryck |
| 2010 | CPAIOR | Strategic Planning for Disaster Recovery with Stochastic Last Mile Distribution. | Pascal Van Hentenryck, Russell Bent, Carleton Coffrin |
| 2010 | CPAIOR | Revisiting the Soft Global Cardinality Constraint. | Pierre Schaus, Pascal Van Hentenryck, Alessandro Zanarini |
| 2010 | CPAIOR | Boosting Set Constraint Propagation for Network Design. | Justin Yip, Pascal Van Hentenryck, Carmen Gervet |
| 2010 | PSB | RNA Structural Segmentation. | Ivn Dot, W. A. Lorenz, Pascal Van Hentenryck, Peter Clote |
| 2009 | CP | Real-Time Tabu Search for Video Tracking Association. | Ivn Dot, Pascal Van Hentenryck, Miguel A. Patricio, Antonio Berlanga, Jos Garca, Jos M. Molina Lpez |
| 2009 | CP | Constraint-Based Local Search for the Automatic Generation of Architectural Tests. | Pascal Van Hentenryck, Carleton Coffrin, Boris Gutkovich |
| 2009 | CP | Online Selection of Quorum Systems for RAMBO Reconfiguration. | Laurent Michel, Martijn Moraal, Alexander A. Shvartsman, Elaine L. Sonderegger, Pascal Van Hentenryck |
| 2009 | CP | Evaluation of Length-Lex Set Variables. | Justin Yip, Pascal Van Hentenryck |
| 2009 | CPAIOR | Bandwidth-Limited Optimal Deployment of Eventually-Serializable Data Services. | Laurent D. Michel, Pascal Van Hentenryck, Elaine L. Sonderegger, Alexander A. Shvartsman, Martijn Moraal |
| 2009 | CPAIOR | Scalable Load Balancing in Nurse to Patient Assignment Problems. | Pierre Schaus, Pascal Van Hentenryck, Jean-Charles Rgin |
| 2009 | EMO | Constraint Programming. | Pascal Van Hentenryck |
| 2009 | SAC | LS(graph & tree): a local search framework for constraint optimization on graphs and trees. | Pham Quang Dung, Yves Deville, Pascal Van Hentenryck |
| 2009 | SAC | Length-lex bound consistency for knapsack constraints. | Justin Yip, Pascal Van Hentenryck |
| 2008 | AAAI | Protein Structure Prediction on the Face Centered Cubic Lattice by Local Search. | Manuel Cebrin, Ivn Dot, Pascal Van Hentenryck, Peter Clote |
| 2008 | AAAI | Bound Consistency for Binary Length-Lex Set Constraints. | Pascal Van Hentenryck, Justin Yip, Carmen Gervet, Grgoire Dooms |
| 2008 | CP | CPBPV: A Constraint-Programming Framework for Bounded Program Verification. | Hlne Collavizza, Michel Rueher, Pascal Van Hentenryck |
| 2008 | CP | Protein Structure Prediction with Large Neighborhood Constraint Programming Search. | Ivn Dot, Manuel Cebrin, Pascal Van Hentenryck, Peter Clote |
| 2008 | CPAIOR | Gap Reduction Techniques for Online Stochastic Project Scheduling. | Grgoire Dooms, Pascal Van Hentenryck |
| 2008 | CPAIOR | 30 Years of Constraint Programming. | Pascal Van Hentenryck |
| 2008 | CPAIOR | The Steel Mill Slab Design Problem Revisited. | Pascal Van Hentenryck, Laurent Michel |
| 2008 | CPAIOR | Amsaa: A Multistep Anticipatory Algorithm for Online Stochastic Combinatorial Optimization. | Luc Mercier, Pascal Van Hentenryck |
| 2008 | CPAIOR | Optimal Deployment of Eventually-Serializable Data Services. | Laurent Michel, Alexander A. Shvartsman, Elaine L. Sonderegger, Pascal Van Hentenryck |
| 2008 | ECAI | The Impact of Constraint Programming. | Pascal Van Hentenryck |
| 2007 | AAAI | Randomized Adaptive Spatial Decoupling for Large-Scale Vehicle Routing with Time Windows. | Russell Bent, Pascal Van Hentenryck |
| 2007 | AAAI | Synthesis of Constraint-Based Local Search Algorithms from High-Level Models. | Pascal Van Hentenryck, Laurent D. Michel |
| 2007 | AAAI | Population-Based Simulated Annealing for Traveling Tournaments. | Pascal Van Hentenryck, Yannis Vergados |
| 2007 | AAAI | Propagating Knapsack Constraints in Sublinear Time. | Irit Katriel, Meinolf Sellmann, Eli Upfal, Pascal Van Hentenryck |
| 2007 | CP | Model-Driven Visualizations of Constraint-Based Local Search. | Grgoire Dooms, Pascal Van Hentenryck, Laurent Michel |
| 2007 | CP | Parallelizing Constraint Programs Transparently. | Laurent Michel, Andrew See, Pascal Van Hentenryck |
| 2007 | IJCAI | Waiting and Relocation Strategies in Online Stochastic Vehicle Routing. | Russell Bent, Pascal Van Hentenryck |
| 2007 | IJCAI | Performance Analysis of Online Anticipatory Algorithms for Large Multistage Stochastic Integer Programs. | Luc Mercier, Pascal Van Hentenryck |
| 2006 | AAAI | Length-Lex Ordering for Set CSPs. | Carmen Gervet, Pascal Van Hentenryck |
| 2006 | CP | A Note on Low Autocorrelation Binary Sequences. | Ivn Dot, Pascal Van Hentenryck |
| 2006 | CP | Static and Dynamic Structural Symmetry Breaking. | Pierre Flener, Justin Pearson, Meinolf Sellmann, Pascal Van Hentenryck |
| 2006 | CP | Differentiable Invariants. | Pascal Van Hentenryck, Laurent Michel |
| 2006 | CP | Distributed Constraint-Based Local Search. | Laurent Michel, Andrew See, Pascal Van Hentenryck |
| 2006 | CP | High-Level Nondeterministic Abstractions in. | Laurent Michel, Andrew See, Pascal Van Hentenryck |
| 2006 | CPAIOR | Online Stochastic Reservation Systems. | Pascal Van Hentenryck, Russell Bent, Yannis Vergados |
| 2006 | CPAIOR | Traveling Tournament Scheduling: A Systematic Evaluation of Simulated Annealling. | Pascal Van Hentenryck, Yannis Vergados |
| 2006 | PPSN | A Memetic Approach to Golomb Rulers. | Carlos Cotta, Ivn Dot, Antonio J. Fernndez, Pascal Van Hentenryck |
| 2005 | CEC | A simple hybrid evolutionary algorithm for finding Golomb rulers. | Ivn Dot, Pascal Van Hentenryck |
| 2005 | CP | Sub-optimality Approximations. | Russell Bent, Irit Katriel, Pascal Van Hentenryck |
| 2005 | CP | Scheduling Social Tournaments. | Ivn Dot, Alvaro del Val, Pascal Van Hentenryck |
| 2005 | CP | Maintaining Longest Paths in Cyclic Graphs. | Irit Katriel, Pascal Van Hentenryck |
| 2005 | CP | Parallel Local Search in Comet. | Laurent Michel, Pascal Van Hentenryck |
| 2005 | CP | The Comet Programming Language and System. | Laurent Michel, Pascal Van Hentenryck |
| 2005 | CPAIOR | Scheduling Social Golfers Locally. | Ivn Dot, Pascal Van Hentenryck |
| 2005 | CPAIOR | Nondeterministic Control for Hybrid Search. | Pascal Van Hentenryck, Laurent Michel |
| 2005 | IJCAI | Structural Symmetry Breaking. | Meinolf Sellmann, Pascal Van Hentenryck |
| 2004 | AAAI | Regrets Only! Online Stochastic Optimization under Time Constraints. | Russell Bent, Pascal Van Hentenryck |
| 2004 | CP | Constraint-Based Combinators for Local Search. | Pascal Van Hentenryck, Laurent Michel, Liyuan Liu |
| 2004 | CPAIOR | Scheduling Abstractions for Local Search. | Pascal Van Hentenryck, Laurent Michel |
| 2003 | CP | A Two-Stage Hybrid Algorithm for Pickup and Delivery Vehicle Routing Problems with Time Windows. | Russell Bent, Pascal Van Hentenryck |
| 2003 | CP | To Be or Not to Be ... a Global Constraint. | Christian Bessire, Pascal Van Hentenryck |
| 2003 | CP | Control Abstractions for Local Search. | Pascal Van Hentenryck, Laurent Michel |
| 2003 | CP | Maintaining Longest Paths Incrementally. | Laurent Michel, Pascal Van Hentenryck |
| 2003 | IJCAI | A Simulated Annealing Approach to the Travelling Tournament Problem. | Aris Anagnostopoulos, Laurent Michel, Pascal Van Hentenryck, Yannis Vergados |
| 2003 | IJCAI | Dynamic Vehicle Routing with Stochastic Requests. | Russell Bent, Pascal Van Hentenryck |
| 2003 | IJCAI | Tractable Symmetry Breaking for CSPs with Interchangeable Values. | Pascal Van Hentenryck, Pierre Flener, Justin Pearson, Magnus gren |
| 2002 | OOPSLA | A constraint-based architecture for local search. | Laurent Michel, Pascal Van Hentenryck |
| 2002 | UAI | A Constraint Satisfaction Approach to the Robust Spanning Tree Problem with Interval Data. | Ionut D. Aron, Pascal Van Hentenryck |
| 2001 | CP | Optimal Pruning in Parametric Differential Equations. | Micha Janssen, Pascal Van Hentenryck, Yves Deville |
| 2001 | IJCAI | A Constraint Satisfaction Approach to Parametric Differential Equations. | Micha Janssen, Pascal Van Hentenryck, Yves Deville |
| 1999 | CP | Multistep Filtering Operators for Ordinary Differential Equations. | Micha Janssen, Yves Deville, Pascal Van Hentenryck |
| 1999 | EPIA | Combinatorial Optimization in OPL Studio. | Pascal Van Hentenryck, Laurent Michel, Philippe Laborie, Wim Nuijten, Jerome Rogerie |
| 1999 | PPDP | Constraint Programming in OPL. | Pascal Van Hentenryck, Laurent Michel, Laurent Perron, Jean-Charles Rgin |
| 1998 | CP | Consistency Techniques in Ordinary Differential Equations. | Yves Deville, Micha Janssen, Pascal Van Hentenryck |
| 1997 | CP | A Modeling Language for Constraint Programming. | Pascal Van Hentenryck |
| 1997 | CP | Localizer: A Modeling Language for Local Search. | Laurent Michel, Pascal Van Hentenryck |
| 1997 | EuroPar | Improving Distributed Unification through Type Analysis. | Evelina Lamma, Paola Mello, Cesare Stefanelli, Pascal Van Hentenryck |
| 1997 | IJCAI | Constraint Satisfaction over Connected Row Convex Constraints. | Yves Deville, Olivier Barette, Pascal Van Hentenryck |
| 1997 | IJCAI | Numerica: A Modeling Language for Global Optimization. | Pascal Van Hentenryck |
| 1996 | ICLP | CLP(Rlin) Revised. | Philippe Refalo, Pascal Van Hentenryck |
| 1995 | CP | Constraint Solving for Combinatorial Search Problems: A Tutorial. | Pascal Van Hentenryck |
| 1995 | PEPM | Semantic Foundations of Binding Time Analysis for Imperative Programs. | Manuvir Das, Thomas W. Reps, Pascal Van Hentenryck |
| 1995 | SAS | LSign Reordered | Viswanath Ramachandran, Pascal Van Hentenryck |
| 1994 | PLDI | Type Analysis of Prolog Using Type Graphs. | Pascal Van Hentenryck, Agostino Cortesi, Baudouin Le Charlier |
| 1994 | PLDI | Backtracking without Trailing in CLP(R | Pascal Van Hentenryck, Viswanath Ramachandran |
| 1994 | POPL | Combinations of Abstract Domains for Logic Programming. | Agostino Cortesi, Baudouin Le Charlier, Pascal Van Hentenryck |
| 1993 | ICTAI | Constraint Programming Languages. | Pascal Van Hentenryck |
| 1993 | PEPM | Groundness Analysis for PROLOG: Implementation and Evaluation of the Domain | Baudouin Le Charlier, Pascal Van Hentenryck |
| 1993 | SAS | Optimization Techniques for General Purpose Fixpoint Algorithms - Practical Efficiency for the Abstract Interpretation of Prolog. | Baudouin Le Charlier, Olivier Degimbe, Laurent Michel, Pascal Van Hentenryck |
| 1993 | SAS | The Impact of Granularity in Abstract Interpretation of Prolog. | Pascal Van Hentenryck, Olivier Degimbe, Baudouin Le Charlier, Laurent Michel |
| 1992 | ICLP | Reexecution in Abstract Interpretation of Prolog. | Baudouin Le Charlier, Pascal Van Hentenryck |
| 1992 | SAS | On the Design of Generic Abstract Interpretation Frameworks. | Baudouin Le Charlier, Pascal Van Hentenryck |
| 1991 | ICLP | A Generic Abstract Interpretation Algorithm and its Complexity Analysis. | Baudouin Le Charlier, Kaninda Musumbu, Pascal Van Hentenryck |
| 1991 | ICLP | The Cardinality Operator: A New Logical Connective for Constraint Logic Programming. | Pascal Van Hentenryck, Yves Deville |
| 1991 | IJCAI | An Efficient Arc Consistency Algorithm for a Class of CSP Problems. | Yves Deville, Pascal Van Hentenryck |
| 1991 | SAS | A propos des redondances dans les systmes d'inquations linaires. | Jean-Louis Imbert, Pascal Van Hentenryck |
| 1990 | ICLP | Incremental Constraint Satisfaction in Logic Programming. | Pascal Van Hentenryck |
| 1989 | ICLP | Parallel Constraint Satisfaction in Logic Programming: Preliminary Results of CHIP within PEPSys. | Pascal Van Hentenryck |
| 1989 | IJCAI | Simulation of Hybrid Circuits in Constraint Logic Programming. | Thomas Graf, Pascal Van Hentenryck, Claudine Pradelles, Laurent Zimmer |
| 1988 | AAAI | Generality versus Specificity: An Experience with AI and OR Techniques. | Pascal Van Hentenryck, Jean-Philippe Carillon |
| 1988 | CADE | The CHIP System: Constraint Handling In Prolog. | Mehmet Dincbas, Pascal Van Hentenryck, Helmut Simonis, Abderrahmane Aggoun, Alexander Herold |
| 1988 | ECAI | Solving the Car-Sequencing Problem in Constraint Logic Programming. | Mehmet Dincbas, Helmut Simonis, Pascal Van Hentenryck |
| 1988 | ICLP | Solving a Cutting-Stock Problem in Constraint Logic Programming. | Mehmet Dincbas, Helmut Simonis, Pascal Van Hentenryck |
| 1987 | ICLP | Forward Checking in Logic Programming. | Pascal Van Hentenryck, Mehmet Dincbas |
| 1987 | IJCAI | A Theoretical Framework for Consistency Techniques in Logic Programming. | Pascal Van Hentenryck |
| 1986 | AAAI | Domains in Logic Programming. | Pascal Van Hentenryck, Mehmet Dincbas |