Pascal Van Hentenryck

534 papers A* 74A 68B 39C 8Misc 4Journal 280Unranked 56

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	A Rolling-Space Branch-and-Price Algorithm for the Multi-Compartment Vehicle Routing Problem with Multiple Time Windows. CoRR El Mehdi Er Raqabi, Kevin Dalmeijer, Pascal Van Hentenryck
2026	J	`jnl`	Copula-Based Aggregation and Context-Aware Conformal Prediction for Reliable Renewable Energy Forecasting. CoRR Alireza Moradi, Mathieu Tanneau, Reza Zandehshahvar, Pascal Van Hentenryck
2026	J	`jnl`	Deep Neural Network-Enhanced Frequency-Constrained Optimal Power Flow with Multi-Governor Dynamics. CoRR Fan Jiang, Xingpeng Li, Pascal Van Hentenryck
2026	J	`jnl`	Plan, Verify and Fill: A Structured Parallel Decoding Approach for Diffusion Language Models. CoRR Miao Li, Hanyang Jiang, Sikai Cheng, Hengyu Fu, Yuhang Cai, Baihe Huang, Tinghan Ye, Xuanzhou Chen, Pascal Van Hentenryck
2026	J	`jnl`	The Impact of Shared Autonomous Vehicles in Microtransit Systems: A Case Study in Atlanta. CoRR Jason Lu, Tejas Santanam, Hongzhao Guan, Connor Riley, Meen-Sung Kim, Anthony Trasatti, Neda Masoud, Pascal Van Hentenryck
2026	J	`jnl`	Transit Network Design with Two-Level Demand Uncertainties: A Machine Learning and Contextual Stochastic Optimization Framework. CoRR Hongzhao Guan, Beste Basciftci, Pascal Van Hentenryck
2026	J	`jnl`	Uncertainty-Aware Delivery Delay Duration Prediction via Multi-Task Deep Learning. CoRR Stefan Faulkner, Reza Zandehshahvar, Vahid Eghbal Akhlaghi, Sébastien Ouellet, Carsten Jordan, Pascal Van Hentenryck
2026	J	`jnl`	Volt/VAR Optimization in Transmission Networks with Discrete-Control Devices. CoRR Shuaicheng Tong, Michael A. Boateng, Mathieu Tanneau, Pascal Van Hentenryck
2025	J	`jnl`	A Constraint Programming Model For Serial Batch Scheduling With Minimum Batch Size. CoRR Jorge A. Huertas, Pascal Van Hentenryck
2025	C	`conf`	A Deep Neural Network-based Frequency Predictor for Frequency-Constrained Optimal Power Flow. IAS Fan Jiang, Xingpeng Li, Pascal Van Hentenryck
2025	J	`jnl`	A Deep Neural Network-based Frequency Predictor for Frequency-Constrained Optimal Power Flow. CoRR Fan Jiang, Xingpeng Li, Pascal Van Hentenryck
2025	J	`jnl`	A Fair OR-ML Framework for Resource Substitution in Large-Scale Networks. CoRR Ved Mohan, El Mehdi Er Raqabi, Pascal Van Hentenryck
2025	J	`jnl`	A General and Streamlined Differentiable Optimization Framework. CoRR Andrew W. Rosemberg, Joaquim Dias Garcia, François Pacaud, Robert B. Parker, Benoît Legat, Kaarthik Sundar, Russell Bent, Pascal Van Hentenryck
2025	—	`conf`	A community-driven optimization framework for redrawing school attendance boundaries. EAAMO Hongzhao Guan, Paul Riggins, Tyler Simko, Jasmine Mangat, Cassandra Moe, Urooj Haider, Frank Pantano, Effie G. McMillian, Genevieve Siegel-Hawley, Pascal Van Hentenryck, Nabeel Gillani
2025	J	`jnl`	A community-driven optimization framework for redrawing school attendance boundaries. CoRR Hongzhao Guan, Paul Riggins, Tyler Simko, Jasmine Mangat, Cassandra Moe, Urooj Haider, Frank Pantano, Effie G. McMillian, Genevieve Siegel-Hawley, Pascal Van Hentenryck, Nabeel Gillani
2025	J	`jnl`	An Aligned Constraint Programming Model For Serial Batch Scheduling With Minimum Batch Size. CoRR Jorge A. Huertas, Pascal Van Hentenryck
2025	J	`jnl`	CSI-4CAST: A Hybrid Deep Learning Model for CSI Prediction with Comprehensive Robustness and Generalization Testing. CoRR Sikai Cheng, Reza Zandehshahvar, Haoruo Zhao, Daniel A. Garcia-Ulloa, Alejandro Villena-Rodriguez, Carles Navarro Manchón, Pascal Van Hentenryck
2025	J	`jnl`	Conformal Prediction with Upper and Lower Bound Models. CoRR Miao Li, Michael Klamkin, Mathieu Tanneau, Reza Zandehshahvar, Pascal Van Hentenryck
2025	J	`jnl`	Conformal Predictive Distributions for Order Fulfillment Time Forecasting. CoRR Tinghan Ye, Amira Hijazi, Pascal Van Hentenryck
2025	J	`jnl`	Constraint-Informed Active Learning for End-to-End ACOPF Optimization Proxies. CoRR Miao Li, Michael Klamkin, Pascal Van Hentenryck, Wenting Li, Russell Bent
2025	A*	`conf`	Contextual Stochastic Optimization for School Desegregation Policymaking. AAAI Hongzhao Guan, Nabeel Gillani, Tyler Simko, Jasmine Mangat, Pascal Van Hentenryck
2025	J	`jnl`	Dual Conic Proxy for Semidefinite Relaxation of AC Optimal Power Flow. CoRR Guancheng Qiu, Mathieu Tanneau, Pascal Van Hentenryck
2025	J	`jnl`	DualSchool: How Reliable are LLMs for Optimization Education? CoRR Michael Klamkin, Arnaud Deza, Sikai Cheng, Haoruo Zhao, Pascal Van Hentenryck
2025	J	`jnl`	Enhanced Renewable Energy Forecasting using Context-Aware Conformal Prediction. CoRR Alireza Moradi, Mathieu Tanneau, Reza Zandehshahvar, Pascal Van Hentenryck
2025	J	`jnl`	Flow-Aware GNN for Transmission Network Reconfiguration via Substation Breaker Optimization. CoRR Dekang Meng, Rabab Haider, Pascal Van Hentenryck
2025	J	`jnl`	High-Resolution PTDF-Based Planning of Storage and Transmission Under High Renewables. CoRR Kevin Wu, Rabab Haider, Pascal Van Hentenryck
2025	J	`jnl`	ID-PaS : Identity-Aware Predict-and-Search for General Mixed-Integer Linear Programs. CoRR Junyang Cai, El Mehdi Er Raqabi, Pascal Van Hentenryck, Bistra Dilkina
2025	J	`jnl`	Integrating Column Generation and Large Neighborhood Search for Bus Driver Scheduling with Complex Break Constraints. CoRR Lucas Kletzander, Tommaso Mannelli Mazzoli, Nysret Musliu, Pascal Van Hentenryck
2025	J	`jnl`	Optimization Learning. CoRR Pascal Van Hentenryck
2025	J	`jnl`	Outbound Load Planning in Parcel Delivery Service Networks Using Machine Learning and Optimization. Transp. Sci. Ritesh Ojha, Wenbo Chen, Hanyu Zhang, Reem Khir, Alan L. Erera, Pascal Van Hentenryck
2025	J	`jnl`	PGLearn - An Open-Source Learning Toolkit for Optimal Power Flow. CoRR Michael Klamkin, Mathieu Tanneau, Pascal Van Hentenryck
2025	J	`jnl`	PROPEL: Supervised and Reinforcement Learning for Large-Scale Supply Chain Planning. CoRR Vahid Eghbal Akhlaghi, Reza Zandehshahvar, Pascal Van Hentenryck
2025	—	`conf`	Privacy-Preserving Convex Optimization: When Differential Privacy Meets Stochastic Programming. CDC Vladimir Dvorkin, Ferdinando Fioretto, Pascal Van Hentenryck, Pierre Pinson, Jalal Kazempour
2025	A*	`conf`	SPOT: Spatio-Temporal Pattern Mining and Optimization for Load Consolidation in Freight Transportation Networks. ICDM Sikai Cheng, Amira Hijazi, Jeren Konak, Alan L. Erera, Pascal Van Hentenryck
2025	J	`jnl`	SPOT: Spatio-Temporal Pattern Mining and Optimization for Load Consolidation in Freight Transportation Networks. CoRR Sikai Cheng, Amira Hijazi, Jeren Konak, Alan L. Erera, Pascal Van Hentenryck
2025	J	`jnl`	Self-Certifying Primal-Dual Optimization Proxies for Large-Scale Batch Economic Dispatch. CoRR Michael Klamkin, Mathieu Tanneau, Pascal Van Hentenryck
2025	J	`jnl`	Sequence Variables: A Constraint Programming Computational Domain for Routing and Sequencing. CoRR Augustin Delecluse, Pierre Schaus, Pascal Van Hentenryck
2025	J	`jnl`	Sobolev Training of End-to-End Optimization Proxies. CoRR Andrew W. Rosemberg, Joaquim Dias Garcia, Russell Bent, Pascal Van Hentenryck
2025	J	`jnl`	Towards AC Feasibility of DCOPF Dispatch. CoRR Michael A. Boateng, Russell Bent, Sidhant Misra, Parikshit Pareek, Pascal Van Hentenryck, Daniel K. Molzahn
2024	A	`conf`	A New Optimization Model for Multiple-Control Toffoli Quantum Circuit Design. CP Jihye Jung, Kevin Dalmeijer, Pascal Van Hentenryck
2024	J	`jnl`	A New Optimization Model for Multiple-Control Toffoli Quantum Circuit Design. CoRR Jihye Jung, Kevin Dalmeijer, Pascal Van Hentenryck
2024	J	`jnl`	AI4OPT: AI Institute for Advances in Optimization. AI Mag. Pascal Van Hentenryck, Kevin Dalmeijer
2024	J	`jnl`	Boosting Column Generation with Graph Neural Networks for Joint Rider Trip Planning and Crew Shift Scheduling. CoRR Jiawei Lu, Tinghan Ye, Wenbo Chen, Pascal Van Hentenryck
2024	—	`conf`	Bound Tightening Using Rolling-Horizon Decomposition for Neural Network Verification. CPAIOR (2) Haoruo Zhao, Hassan L. Hijazi, Haydn Thomas Jones, Juston Moore, Mathieu Tanneau, Pascal Van Hentenryck
2024	A*	`conf`	Compact Optimality Verification for Optimization Proxies. ICML Wenbo Chen, Haoruo Zhao, Mathieu Tanneau, Pascal Van Hentenryck
2024	J	`jnl`	Compact Optimality Verification for Optimization Proxies. CoRR Wenbo Chen, Haoruo Zhao, Mathieu Tanneau, Pascal Van Hentenryck
2024	J	`jnl`	Confidence-Aware Deep Learning for Load Plan Adjustments in the Parcel Service Industry. CoRR Thomas Bruys, Reza Zandehshahvar, Amira Hijazi, Pascal Van Hentenryck
2024	J	`jnl`	Constraint Programming. Rev. Ouverte Intell. Artif. Pascal Van Hentenryck
2024	J	`jnl`	Contextual Stochastic Optimization for School Desegregation Policymaking. CoRR Hongzhao Guan, Nabeel Gillani, Tyler Simko, Jasmine Mangat, Pascal Van Hentenryck
2024	J	`jnl`	Defining 'Good': Evaluation Framework for Synthetic Smart Meter Data. CoRR Sheng Chai, Gus Chadney, Charlot Avery, Phil Grunewald, Pascal Van Hentenryck, Priya L. Donti
2024	J	`jnl`	Differential Privacy Overview and Fundamental Techniques. CoRR Ferdinando Fioretto, Pascal Van Hentenryck, Juba Ziani
2024	J	`jnl`	Dual Interior-Point Optimization Learning. CoRR Michael Klamkin, Mathieu Tanneau, Pascal Van Hentenryck
2024	A*	`conf`	Dual Lagrangian Learning for Conic Optimization. NeurIPS Mathieu Tanneau, Pascal Van Hentenryck
2024	J	`jnl`	Dual Lagrangian Learning for Conic Optimization. CoRR Mathieu Tanneau, Pascal Van Hentenryck
2024	A*	`conf`	Empathy and AI: Achieving Equitable Microtransit for Underserved Communities. IJCAI Eleni Bardaka, Pascal Van Hentenryck, Crystal Chen Lee, Christopher B. Mayhorn, Kai Monast, Samitha Samaranayake, Munindar P. Singh
2024	A*	`conf`	Finding ε and δ of Traditional Disclosure Control Systems. AAAI Saswat Das, Keyu Zhu, Christine Task, Pascal Van Hentenryck, Ferdinando Fioretto
2024	J	`jnl`	High-Spatial Resolution Transmission and Storage Expansion Planning for High Renewable Grids: A Case Study. CoRR Kevin Wu, Rabab Haider, Pascal Van Hentenryck
2024	A*	`conf`	Investigating Large Neighbourhood Search for Bus Driver Scheduling. ICAPS Tommaso Mannelli Mazzoli, Lucas Kletzander, Pascal Van Hentenryck, Nysret Musliu
2024	A	`conf`	Learning Joint Models of Prediction and Optimization. ECAI James Kotary, Vincenzo Di Vito, Jacob Christopher, Pascal Van Hentenryck, Ferdinando Fioretto
2024	J	`jnl`	Learning Joint Models of Prediction and Optimization. CoRR James Kotary, Vincenzo Di Vito, Jacob Christopher, Pascal Van Hentenryck, Ferdinando Fioretto
2024	A*	`conf`	On the Effects of Fairness to Adversarial Vulnerability. IJCAI Cuong Tran, Keyu Zhu, Pascal Van Hentenryck, Ferdinando Fioretto
2024	J	`jnl`	Optimizing Autonomous Transfer Hub Networks: Quantifying the potential impact of self-driving trucks. EURO J. Transp. Logist. Chungjae Lee, Kevin Dalmeijer, Pascal Van Hentenryck, Peibo Zhang
2024	J	`jnl`	Parallel Batch Scheduling With Incompatible Job Families Via Constraint Programming. CoRR Jorge A. Huertas, Pascal Van Hentenryck
2024	J	`jnl`	Path-Based Formulations for the Design of On-demand Multimodal Transit Systems with Adoption Awareness. INFORMS J. Comput. Hongzhao Guan, Beste Basciftci, Pascal Van Hentenryck
2024	J	`jnl`	Polyhedral Relaxations for Optimal Pump Scheduling of Potable Water Distribution Networks. INFORMS J. Comput. Byron Tasseff, Russell Bent, Carleton Coffrin, Clayton Barrows, Devon Sigler, Jonathan J. Stickel, Ahmed S. Zamzam, Yang Liu, Pascal Van Hentenryck
2024	J	`jnl`	Public Transit for Special Events: Ridership Prediction and Train Scheduling. IEEE Trans. Intell. Transp. Syst. Tejas Santanam, Anthony Trasatti, Pascal Van Hentenryck, Hanyu Zhang
2024	J	`jnl`	Scalable Exact Verification of Optimization Proxies for Large-Scale Optimal Power Flow. CoRR Rahul Nellikkath, Mathieu Tanneau, Pascal Van Hentenryck, Spyros Chatzivasileiadis
2024	J	`jnl`	Two-Stage ML-Guided Decision Rules for Sequential Decision Making under Uncertainty. CoRR Andrew W. Rosemberg, Alexandre Street, Davi Michel Valladão, Pascal Van Hentenryck
2024	J	`jnl`	Weather-Informed Probabilistic Forecasting and Scenario Generation in Power Systems. CoRR Hanyu Zhang, Reza Zandehshahvar, Mathieu Tanneau, Pascal Van Hentenryck
2023	J	`jnl`	AI4OPT: AI Institute for Advances in Optimization. CoRR Pascal Van Hentenryck, Kevin Dalmeijer
2023	J	`jnl`	Artificial Intelligence/Operations Research Workshop 2 Report Out. CoRR John P. Dickerson, Bistra Dilkina, Yu Ding, Swati Gupta, Pascal Van Hentenryck, Sven Koenig, Ramayya Krishnan, Radhika Kulkarni, Catherine Gill, Haley Griffin, Maddy Hunter, Ann Schwartz
2023	J	`jnl`	Asset Bundling for Wind Power Forecasting. CoRR Hanyu Zhang, Mathieu Tanneau, Chaofan Huang, V. Roshan Joseph, Shangkun Wang, Pascal Van Hentenryck
2023	J	`jnl`	Capturing Travel Mode Adoption in Designing On-Demand Multimodal Transit Systems. Transp. Sci. Beste Basciftci, Pascal Van Hentenryck
2023	J	`jnl`	Changes in Commuter Behavior from COVID-19 Lockdowns in the Atlanta Metropolitan Area. CoRR Tejas Santanam, Anthony Trasatti, Hanyu Zhang, Connor Riley, Pascal Van Hentenryck, Ramayya Krishnan
2023	J	`jnl`	Compact Optimization Learning for AC Optimal Power Flow. CoRR Seonho Park, Wenbo Chen, Terrence W. K. Mak, Pascal Van Hentenryck
2023	A	`conf`	Constraint Programming to Improve Hub Utilization in Autonomous Transfer Hub Networks (Short Paper). CP Chungjae Lee, Wirattawut Boonbandansook, Vahid Eghbal Akhlaghi, Kevin Dalmeijer, Pascal Van Hentenryck
2023	J	`jnl`	Dual Conic Proxies for AC Optimal Power Flow. CoRR Guancheng Qiu, Mathieu Tanneau, Pascal Van Hentenryck
2023	J	`jnl`	End-to-End Feasible Optimization Proxies for Large-Scale Economic Dispatch. CoRR Wenbo Chen, Mathieu Tanneau, Pascal Van Hentenryck
2023	J	`jnl`	Impacts of Differential Privacy on Fostering more Racially and Ethnically Diverse Elementary Schools. CoRR Keyu Zhu, Nabeel Gillani, Pascal Van Hentenryck
2023	J	`jnl`	Learning Optimal Power Flow Value Functions with Input-Convex Neural Networks. CoRR Andrew W. Rosemberg, Mathieu Tanneau, Bruno Fanzeres, Joaquim Dias Garcia, Pascal Van Hentenryck
2023	J	`jnl`	Learning Regionally Decentralized AC Optimal Power Flows With ADMM. IEEE Trans. Smart Grid Terrence W. K. Mak, Minas Chatzos, Mathieu Tanneau, Pascal Van Hentenryck
2023	J	`jnl`	MARTA Reach: Piloting an On-Demand Multimodal Transit System in Atlanta. CoRR Pascal Van Hentenryck, Connor Riley, Anthony Trasatti, Hongzhao Guan, Tejas Santanam, Jorge A. Huertas, Kevin Dalmeijer, Kari Watkins, Juwon Drake, Samson Baskin
2023	J	`jnl`	Modern Constraint Programming Education: Lessons for the Future. CoRR Tejas Santanam, Pascal Van Hentenryck
2023	J	`jnl`	Optimization-based Learning for Dynamic Load Planning in Trucking Service Networks. CoRR Ritesh Ojha, Wenbo Chen, Hanyu Zhang, Reem Khir, Alan L. Erera, Pascal Van Hentenryck
2023	J	`jnl`	Predict-Then-Optimize by Proxy: Learning Joint Models of Prediction and Optimization. CoRR James Kotary, Vincenzo Di Vito, Jacob Christopher, Pascal Van Hentenryck, Ferdinando Fioretto
2023	J	`jnl`	Privacy and Bias Analysis of Disclosure Avoidance Systems. CoRR Keyu Zhu, Ferdinando Fioretto, Pascal Van Hentenryck, Saswat Das, Christine Task
2023	J	`jnl`	Redrawing attendance boundaries to promote racial and ethnic diversity in elementary schools. CoRR Nabeel Gillani, Doug Beeferman, Christine Vega-Pourheydarian, Cassandra Overney, Pascal Van Hentenryck, Deb Roy
2023	A*	`conf`	Reinforcement Learning from Optimization Proxy for Ride-Hailing Vehicle Relocation (Extended Abstract). IJCAI Enpeng Yuan, Wenbo Chen, Pascal Van Hentenryck
2023	A*	`conf`	SF-PATE: Scalable, Fair, and Private Aggregation of Teacher Ensembles. IJCAI Cuong Tran, Keyu Zhu, Ferdinando Fioretto, Pascal Van Hentenryck
2023	J	`jnl`	Self-Supervised Learning for Large-Scale Preventive Security Constrained DC Optimal Power Flow. CoRR Seonho Park, Pascal Van Hentenryck
2023	A*	`conf`	Self-Supervised Primal-Dual Learning for Constrained Optimization. AAAI Seonho Park, Pascal Van Hentenryck
2023	J	`jnl`	Strong Mixed-Integer Formulations for Transmission Expansion Planning with FACTS Devices. CoRR Kevin Wu, Mathieu Tanneau, Pascal Van Hentenryck
2023	J	`jnl`	Two-Stage Learning For the Flexible Job Shop Scheduling Problem. CoRR Wenbo Chen, Reem Khir, Pascal Van Hentenryck
2022	J	`jnl`	Active Bucketized Learning for ACOPF Optimization Proxies. CoRR Michael Klamkin, Mathieu Tanneau, Terrence W. K. Mak, Pascal Van Hentenryck
2022	J	`jnl`	Benders Subproblem Decomposition for Bilevel Problems with Convex Follower. INFORMS J. Comput. Geunyeong Byeon, Pascal Van Hentenryck
2022	J	`jnl`	Confidence-Aware Graph Neural Networks for Learning Reliability Assessment Commitments. CoRR Seonho Park, Wenbo Chen, Dahye Han, Mathieu Tanneau, Pascal Van Hentenryck
2022	A*	`conf`	Differential Privacy and Fairness in Decisions and Learning Tasks: A Survey. IJCAI Ferdinando Fioretto, Cuong Tran, Pascal Van Hentenryck, Keyu Zhu
2022	J	`jnl`	Differential Privacy and Fairness in Decisions and Learning Tasks: A Survey. CoRR Ferdinando Fioretto, Cuong Tran, Pascal Van Hentenryck, Keyu Zhu
2022	A*	`conf`	End-to-End Learning for Fair Ranking Systems. WWW James Kotary, Ferdinando Fioretto, Pascal Van Hentenryck, Ziwei Zhu
2022	J	`jnl`	Fairness Increases Adversarial Vulnerability. CoRR Cuong Tran, Keyu Zhu, Ferdinando Fioretto, Pascal Van Hentenryck
2022	A*	`conf`	Fast Approximations for Job Shop Scheduling: A Lagrangian Dual Deep Learning Method. AAAI James Kotary, Ferdinando Fioretto, Pascal Van Hentenryck
2022	J	`jnl`	Just-In-Time Learning for Operational Risk Assessment in Power Grids. CoRR Oliver Stover, Pranav Karve, Sankaran Mahadevan, Wenbo Chen, Haoruo Zhao, Mathieu Tanneau, Pascal Van Hentenryck
2022	—	`conf`	Large-scale Zone-based Evacuation Planning: Generating Convergent and Non-Preemptive Evacuation Plans via Column Generation. HICSS Jorge A. Huertas, Pascal Van Hentenryck
2022	J	`jnl`	Learning Regionally Decentralized AC Optimal Power Flows with ADMM. CoRR Terrence W. K. Mak, Minas Chatzos, Mathieu Tanneau, Pascal Van Hentenryck
2022	A*	`conf`	Post-processing of Differentially Private Data: A Fairness Perspective. IJCAI Keyu Zhu, Ferdinando Fioretto, Pascal Van Hentenryck
2022	J	`jnl`	Post-processing of Differentially Private Data: A Fairness Perspective. CoRR Keyu Zhu, Ferdinando Fioretto, Pascal Van Hentenryck
2022	J	`jnl`	Reinforcement Learning from Optimization Proxy for Ride-Hailing Vehicle Relocation. J. Artif. Intell. Res. Enpeng Yuan, Wenbo Chen, Pascal Van Hentenryck
2022	J	`jnl`	Risk-Aware Control and Optimization for High-Renewable Power Grids. CoRR Neil Barry, Minas Chatzos, Wenbo Chen, Dahye Han, Chaofan Huang, Roshan Joseph, Michael Klamkin, Seonho Park, Mathieu Tanneau, Pascal Van Hentenryck, Shangkun Wang, Hanyu Zhang, Haoruo Zhao
2022	J	`jnl`	SF-PATE: Scalable, Fair, and Private Aggregation of Teacher Ensembles. CoRR Cuong Tran, Keyu Zhu, Ferdinando Fioretto, Pascal Van Hentenryck
2022	J	`jnl`	Self-Supervised Primal-Dual Learning for Constrained Optimization. CoRR Seonho Park, Pascal Van Hentenryck
2022	A	`conf`	Sequence Variables for Routing Problems. CP Augustin Delecluse, Pierre Schaus, Pascal Van Hentenryck
2022	J	`jnl`	Spatio-Temporal Point Processes With Attention for Traffic Congestion Event Modeling. IEEE Trans. Intell. Transp. Syst. Shixiang Zhu, Ruyi Ding, Minghe Zhang, Pascal Van Hentenryck, Yao Xie
2021	A*	`conf`	Bias and Variance of Post-processing in Differential Privacy. AAAI Keyu Zhu, Pascal Van Hentenryck, Ferdinando Fioretto
2021	A*	`conf`	Branch and Price for Bus Driver Scheduling with Complex Break Constraints. AAAI Lucas Kletzander, Nysret Musliu, Pascal Van Hentenryck
2021	J	`jnl`	Data-Driven Time Series Reconstruction for Modern Power Systems Research. CoRR Minas Chatzos, Mathieu Tanneau, Pascal Van Hentenryck
2021	A*	`conf`	Decision Making with Differential Privacy under a Fairness Lens. IJCAI Cuong Tran, Ferdinando Fioretto, Pascal Van Hentenryck, Zhiyan Yao
2021	J	`jnl`	Decision Making with Differential Privacy under a Fairness Lens. CoRR Ferdinando Fioretto, Cuong Tran, Pascal Van Hentenryck
2021	J	`jnl`	Differential privacy of hierarchical Census data: An optimization approach. Artif. Intell. Ferdinando Fioretto, Pascal Van Hentenryck, Keyu Zhu
2021	A*	`conf`	Differentially Private and Fair Deep Learning: A Lagrangian Dual Approach. AAAI Cuong Tran, Ferdinando Fioretto, Pascal Van Hentenryck
2021	A*	`conf`	End-to-End Constrained Optimization Learning: A Survey. IJCAI James Kotary, Ferdinando Fioretto, Pascal Van Hentenryck, Bryan Wilder
2021	J	`jnl`	End-to-End Constrained Optimization Learning: A Survey. CoRR James Kotary, Ferdinando Fioretto, Pascal Van Hentenryck, Bryan Wilder
2021	J	`jnl`	End-to-end Learning for Fair Ranking Systems. CoRR James Kotary, Ferdinando Fioretto, Pascal Van Hentenryck, Ziwei Zhu
2021	J	`jnl`	Fast Approximations for Job Shop Scheduling: A Lagrangian Dual Deep Learning Method. CoRR James Kotary, Ferdinando Fioretto, Pascal Van Hentenryck
2021	J	`jnl`	Large-scale zone-based evacuation planning - Part I: Models and algorithms. Networks Mohd. Hafiz Hasan, Pascal Van Hentenryck
2021	J	`jnl`	Large-scale zone-based evacuation planning, Part II: Macroscopic and microscopic evaluations. Networks Mohd. Hafiz Hasan, Pascal Van Hentenryck
2021	A*	`conf`	Learning Hard Optimization Problems: A Data Generation Perspective. NeurIPS James Kotary, Ferdinando Fioretto, Pascal Van Hentenryck
2021	J	`jnl`	Learning Hard Optimization Problems: A Data Generation Perspective. CoRR James Kotary, Ferdinando Fioretto, Pascal Van Hentenryck
2021	J	`jnl`	Learning Model Predictive Controllers for Real-Time Ride-Hailing Vehicle Relocation and Pricing Decisions. CoRR Enpeng Yuan, Pascal Van Hentenryck
2021	J	`jnl`	Learning Model-Based Vehicle-Relocation Decisions for Real-Time Ride-Sharing: Hybridizing Learning and Optimization. CoRR Enpeng Yuan, Pascal Van Hentenryck
2021	J	`jnl`	Learning Optimization Proxies for Large-Scale Security-Constrained Economic Dispatch. CoRR Wenbo Chen, Seonho Park, Mathieu Tanneau, Pascal Van Hentenryck
2021	J	`jnl`	Load Embeddings for Scalable AC-OPF Learning. CoRR Terrence W. K. Mak, Ferdinando Fioretto, Pascal Van Hentenryck
2021	J	`jnl`	Market segmentation in online platforms. Eur. J. Oper. Res. Franco Berbeglia, Gerardo Berbeglia, Pascal Van Hentenryck
2021	J	`jnl`	MiniCP: a lightweight solver for constraint programming. Math. Program. Comput. Laurent D. Michel, Pierre Schaus, Pascal Van Hentenryck
2021	J	`jnl`	Public Transit for Special Events: Ridership Prediction and Train Optimization. CoRR Tejas Santanam, Anthony Trasatti, Pascal Van Hentenryck, Hanyu Zhang
2021	A*	`conf`	Real-Time Pricing Optimization for Ride-Hailing Quality of Service. IJCAI Enpeng Yuan, Pascal Van Hentenryck
2021	J	`jnl`	Spatial Network Decomposition for Fast and Scalable AC-OPF Learning. CoRR Minas Chatzos, Terrence W. K. Mak, Pascal Van Hentenryck
2021	J	`jnl`	Technical perspective: Finding the sweet spot amid accuracy and performance. Commun. ACM Pascal Van Hentenryck
2020	J	`jnl`	A Lagrangian Dual Framework for Deep Neural Networks with Constraints. CoRR Ferdinando Fioretto, Terrence W. K. Mak, Federico Baldo, Michele Lombardi, Pascal Van Hentenryck
2020	J	`jnl`	Bias and Variance of Post-processing in Differential Privacy. CoRR Keyu Zhu, Pascal Van Hentenryck, Ferdinando Fioretto
2020	J	`jnl`	Bilevel Optimization for Differentially Private Optimization. CoRR Ferdinando Fioretto, Terrence W. K. Mak, Pascal Van Hentenryck
2020	B	`conf`	Bilevel Optimization for On-Demand Multimodal Transit Systems. CPAIOR Beste Basciftci, Pascal Van Hentenryck
2020	J	`jnl`	Combining Deep Learning and Optimization for Security-Constrained Optimal Power Flow. CoRR Alexandre Velloso, Pascal Van Hentenryck
2020	J	`jnl`	Communication-Constrained Expansion Planning for Resilient Distribution Systems. INFORMS J. Comput. Geunyeong Byeon, Pascal Van Hentenryck, Russell Bent, Harsha Nagarajan
2020	J	`jnl`	Constraint programming models for integrated container terminal operations. Eur. J. Oper. Res. Damla Kizilay, Pascal Van Hentenryck, Deniz Türsel Eliiyi
2020	J	`jnl`	Differential Privacy for Power Grid Obfuscation. IEEE Trans. Smart Grid Ferdinando Fioretto, Terrence W. K. Mak, Pascal Van Hentenryck
2020	A*	`conf`	Differential Privacy for Stackelberg Games. IJCAI Ferdinando Fioretto, Lesia Mitridati, Pascal Van Hentenryck
2020	J	`jnl`	Differential Privacy for Stackelberg Games. CoRR Ferdinando Fioretto, Lesia Mitridati, Pascal Van Hentenryck
2020	J	`jnl`	Differential Privacy of Hierarchical Census Data: An Optimization Approach. CoRR Ferdinando Fioretto, Pascal Van Hentenryck, Keyu Zhu
2020	J	`jnl`	Differentially Private Convex Optimization with Feasibility Guarantees. CoRR Vladimir Dvorkin, Ferdinando Fioretto, Pascal Van Hentenryck, Jalal Kazempour, Pierre Pinson
2020	—	`conf`	Differentially Private Distributed Optimal Power Flow. CDC Vladimir Dvorkin, Pascal Van Hentenryck, Jalal Kazempour, Pierre Pinson
2020	J	`jnl`	Differentially Private Optimal Power Flow for Distribution Grids. CoRR Vladimir Dvorkin, Ferdinando Fioretto, Pascal Van Hentenryck, Jalal Kazempour, Pierre Pinson
2020	J	`jnl`	Differentially Private and Fair Deep Learning: A Lagrangian Dual Approach. CoRR Cuong Tran, Ferdinando Fioretto, Pascal Van Hentenryck
2020	J	`jnl`	Electricity-Aware Heat Unit Commitment: A Bid-Validity Approach. CoRR Lesia Mitridati, Pascal Van Hentenryck, Jalal Kazempour
2020	J	`jnl`	High-Fidelity Machine Learning Approximations of Large-Scale Optimal Power Flow. CoRR Minas Chatzos, Ferdinando Fioretto, Terrence W. K. Mak, Pascal Van Hentenryck
2020	J	`jnl`	Joint Vehicle and Crew Routing and Scheduling. Transp. Sci. Edward Lam, Pascal Van Hentenryck, Philip Kilby
2020	—	`conf`	Lagrangian Duality for Constrained Deep Learning. ECML/PKDD (5) Ferdinando Fioretto, Pascal Van Hentenryck, Terrence W. K. Mak, Cuong Tran, Federico Baldo, Michele Lombardi
2020	J	`jnl`	Nutmeg: a MIP and CP Hybrid Solver Using Branch-and-Check. Oper. Res. Forum Edward Lam, Graeme Gange, Peter J. Stuckey, Pascal Van Hentenryck, Jip J. Dekker
2020	A*	`conf`	OptStream: Releasing Time Series Privately (Extended Abstract). IJCAI Ferdinando Fioretto, Pascal Van Hentenryck
2020	J	`jnl`	Optimizing inspection routes in pipeline networks. Reliab. Eng. Syst. Saf. Thomas Ying-Jeh Chen, Connor Riley, Pascal Van Hentenryck, Seth D. Guikema
2020	A*	`conf`	Predicting AC Optimal Power Flows: Combining Deep Learning and Lagrangian Dual Methods. AAAI Ferdinando Fioretto, Terrence W. K. Mak, Pascal Van Hentenryck
2020	J	`jnl`	Pricing under a multinomial logit model with non linear network effects. CoRR Felipe Maldonado, Gerardo Berbeglia, Pascal Van Hentenryck
2020	A*	`conf`	Real-Time Dispatching of Large-Scale Ride-Sharing Systems: Integrating Optimization, Machine Learning, and Model Predictive Control. IJCAI Connor Riley, Pascal Van Hentenryck, Enpeng Yuan
2020	J	`jnl`	Real-Time Dispatching of Large-Scale Ride-Sharing Systems: Integrating Optimization, Machine Learning, and Model Predictive Control. CoRR Connor Riley, Pascal Van Hentenryck, Enpeng Yuan
2020	J	`jnl`	Spatio-Temporal Point Processes with Attention for Traffic Congestion Event Modeling. CoRR Shixiang Zhu, Ruyi Ding, Minghe Zhang, Pascal Van Hentenryck, Yao Xie
2020	J	`jnl`	The Association for the Advancement of Artificial Intelligence 2020 Workshop Program. AI Mag. Grace Bang, Guy Barash, Ryan Beal, Jacques Calì, Mauricio Castillo-Effen, Xin Cynthia Chen, Niyati Chhaya, Rachel Cummings, Rohan Dhoopar, Sebastijan Dumancic, Huáscar Espinoza, Eitan Farchi, Ferdinando Fioretto, Raquel Fuentetaja, Christopher William Geib, Odd Erik Gundersen, José Hernández-Orallo, Xiaowei Huang, Kokil Jaidka, Sarah Keren, Seokhwan Kim, Michel Galley, Xiaomo Liu, Tyler Lu, Zhiqiang Ma, Richard Mallah, John A. McDermid, Martin Michalowski, Reuth Mirsky, Seán Ó hÉigeartaigh, Deepak Ramachandran, Javier Segovia-Aguas, Onn Shehory, Arash Shaban-Nejad, Vered Shwartz, Siddharth Srivastava, Kartik Talamadupula, Jian Tang, Pascal Van Hentenryck, Dell Zhang, Jian Zhang
2020	J	`jnl`	The Benefits of Autonomous Vehicles for Community-Based Trip Sharing. CoRR Mohd. Hafiz Hasan, Pascal Van Hentenryck
2020	J	`jnl`	The Commute Trip-Sharing Problem. Transp. Sci. Mohd. Hafiz Hasan, Pascal Van Hentenryck, Antoine Legrain
2020	J	`jnl`	The flexible and real-time commute trip sharing problems. Constraints An Int. J. Mohd. Hafiz Hasan, Pascal Van Hentenryck
2020	B	`conf`	Transfer-Expanded Graphs for On-Demand Multimodal Transit Systems. CPAIOR Kevin Dalmeijer, Pascal Van Hentenryck
2019	J	`jnl`	A Bid-Validity Mechanism for Sequential Heat and Electricity Market Clearing. CoRR Lesia Mitridati, Pascal Van Hentenryck, Jalal Kazempour
2019	J	`jnl`	Assortment optimization under the Sequential Multinomial Logit Model. Eur. J. Oper. Res. Álvaro Flores, Gerardo Berbeglia, Pascal Van Hentenryck
2019	J	`jnl`	Benders Decomposition for the Design of a Hub and Shuttle Public Transit System. Transp. Sci. Arthur Mahéo, Philip Kilby, Pascal Van Hentenryck
2019	B	`conf`	Column Generation for Real-Time Ride-Sharing Operations. CPAIOR Connor Riley, Antoine Legrain, Pascal Van Hentenryck
2019	J	`jnl`	Differential Privacy for Power Grid Obfuscation. CoRR Ferdinando Fioretto, Terrence W. K. Mak, Pascal Van Hentenryck
2019	A	`conf`	Differential Privacy of Hierarchical Census Data: An Optimization Approach. CP Ferdinando Fioretto, Pascal Van Hentenryck
2019	J	`jnl`	Distilling Black-Box Travel Mode Choice Model for Behavioral Interpretation. CoRR Xilei Zhao, Zhengze Zhou, Xiang Yan, Pascal Van Hentenryck
2019	J	`jnl`	Dynamic Compressor Optimization in Natural Gas Pipeline Systems. INFORMS J. Comput. Terrence W. K. Mak, Pascal Van Hentenryck, Anatoly Zlotnik, Russell Bent
2019	J	`jnl`	Guest Editorial Special Issue on Analysis, Control, and Optimization of Energy Networks. IEEE Trans. Control. Netw. Syst. Michael Chertkov, Mihailo R. Jovanovic, Bernard C. Lesieutre, Steven H. Low, Pascal Van Hentenryck, Louis Wehenkel
2019	J	`jnl`	Modeling Heterogeneity in Mode-Switching Behavior Under a Mobility-on-Demand Transit System: An Interpretable Machine Learning Approach. CoRR Xilei Zhao, Xiang Yan, Pascal Van Hentenryck
2019	J	`jnl`	OptStream: Releasing Time Series Privately. J. Artif. Intell. Res. Ferdinando Fioretto, Pascal Van Hentenryck
2019	J	`jnl`	Optimization Models for Estimating Transit Network Origin-Destination Flows with AVL/APC Data. CoRR Xinyu Liu, Pascal Van Hentenryck, Xilei Zhao
2019	J	`jnl`	PPSM: A Privacy-Preserving Stackelberg Mechanism: Privacy Guarantees for the Coordination of Sequential Electricity and Gas Markets. CoRR Ferdinando Fioretto, Lesia Mitridati, Pascal Van Hentenryck
2019	J	`jnl`	Predicting AC Optimal Power Flows: Combining Deep Learning and Lagrangian Dual Methods. CoRR Ferdinando Fioretto, Terrence W. K. Mak, Pascal Van Hentenryck
2019	A	`conf`	Privacy-Preserving Federated Data Sharing. AAMAS Ferdinando Fioretto, Pascal Van Hentenryck
2019	J	`jnl`	Privacy-Preserving Obfuscation for Distributed Power Systems. CoRR Terrence W. K. Mak, Ferdinando Fioretto, Pascal Van Hentenryck
2019	A*	`conf`	Privacy-Preserving Obfuscation of Critical Infrastructure Networks. IJCAI Ferdinando Fioretto, Terrence W. K. Mak, Pascal Van Hentenryck
2019	J	`jnl`	Privacy-Preserving Obfuscation of Critical Infrastructure Networks. CoRR Ferdinando Fioretto, Terrence W. K. Mak, Pascal Van Hentenryck
2019	J	`jnl`	Shared E-scooters: Business, Pleasure, or Transit? CoRR William Espinoza, Matthew Howard, Julia Lane, Pascal Van Hentenryck
2019	J	`jnl`	The Commute Trip Sharing Problem. CoRR Mohd. Hafiz Hasan, Pascal Van Hentenryck, Antoine Legrain
2018	A*	`conf`	Community-Based Trip Sharing for Urban Commuting. AAAI Mohd. Hafiz Hasan, Pascal Van Hentenryck, Ceren Budak, Jiayu Chen, Chhavi Chaudhry
2018	A	`conf`	Constrained-Based Differential Privacy for Mobility Services. AAMAS Ferdinando Fioretto, Chansoo Lee, Pascal Van Hentenryck
2018	B	`conf`	Constrained-Based Differential Privacy: Releasing Optimal Power Flow Benchmarks Privately - Releasing Optimal Power Flow Benchmarks Privately. CPAIOR Ferdinando Fioretto, Pascal Van Hentenryck
2018	B	`conf`	Constraint and Mathematical Programming Models for Integrated Port Container Terminal Operations. CPAIOR Damla Kizilay, Deniz Türsel Eliiyi, Pascal Van Hentenryck
2018	—	`ch.`	Constraint-Based Local Search. Handbook of Heuristics Laurent Michel, Pascal Van Hentenryck
2018	J	`jnl`	Differential Private Stream Processing of Energy Consumption. CoRR Ferdinando Fioretto, Pascal Van Hentenryck
2018	—	`conf`	Joint Expansion Planning for Natural Gas and Electric Transmission with Endogenous Market Feedbacks. HICSS Russell Bent, Seth Blumsack, Pascal Van Hentenryck, Conrado Borraz-Sánchez, Scott Backhaus
2018	J	`jnl`	Modeling Stated Preference for Mobility-on-Demand Transit: A Comparison of Machine Learning and Logit Models. CoRR Xilei Zhao, Xiang Yan, Alan Yu, Pascal Van Hentenryck
2018	J	`jnl`	Popularity signals in trial-offer markets with social influence and position bias. Eur. J. Oper. Res. Felipe Maldonado, Pascal Van Hentenryck, Gerardo Berbeglia, Franco Berbeglia
2017	A	`conf`	A Column-Generation Algorithm for Evacuation Planning with Elementary Paths. CP Mohd. Hafiz Hasan, Pascal Van Hentenryck
2017	J	`jnl`	A microkernel architecture for constraint programming. Constraints An Int. J. Laurent D. Michel, Pascal Van Hentenryck
2017	C	`conf`	A nonlinear optimization model for transient stable line switching. ACC Terrence W. K. Mak, Pascal Van Hentenryck, Ian A. Hiskens
2017	J	`jnl`	Assortment Optimization under the General Luce Model. CoRR Álvaro Flores, Gerardo Berbeglia, Pascal Van Hentenryck
2017	J	`jnl`	Assortment Optimization under the Sequential Multinomial Logit Model. CoRR Álvaro Flores, Gerardo Berbeglia, Pascal Van Hentenryck
2017	A	`conf`	Branch-and-Check with Explanations for the Vehicle Routing Problem with Time Windows. CP Edward Lam, Pascal Van Hentenryck
2017	J	`jnl`	Constraint and Mathematical Programming Models for Integrated Port Container Terminal Operations. CoRR Damla Kizilay, Deniz Türsel Eliiyi, Pascal Van Hentenryck
2017	J	`jnl`	Convex quadratic relaxations for mixed-integer nonlinear programs in power systems. Math. Program. Comput. Hassan L. Hijazi, Carleton Coffrin, Pascal Van Hentenryck
2017	A*	`conf`	Expecting to be HIP: Hawkes Intensity Processes for Social Media Popularity. WWW Marian-Andrei Rizoiu, Lexing Xie, Scott Sanner, Manuel Cebrián, Honglin Yu, Pascal Van Hentenryck
2017	J	`jnl`	Graphical Models and Belief Propagation-hierarchy for Optimal Physics-Constrained Network Flows. CoRR Michael Chertkov, Sidhant Misra, Marc Vuffray, Dvijotham Krishnamurty, Pascal Van Hentenryck
2017	J	`jnl`	Graphical models for optimal power flow. Constraints An Int. J. Krishnamurthy Dvijotham, Michael Chertkov, Pascal Van Hentenryck, Marc Vuffray, Sidhant Misra
2017	J	`jnl`	Resilient Transmission Grid Design: AC Relaxation vs. DC approximation. CoRR Harsha Nagarajan, Russell Bent, Pascal Van Hentenryck, Scott Backhaus, Emre Yamangil
2017	A*	`conf`	Taming the Matthew Effect in Online Markets with Social Influence. AAAI Franco Berbeglia, Pascal Van Hentenryck
2017	A*	`conf`	Taming the Unpredictability of Cultural Markets with Social Influence. WWW Andrés Abeliuk, Gerardo Berbeglia, Pascal Van Hentenryck, Tad Hogg, Kristina Lerman
2016	J	`jnl`	A branch-and-price-and-check model for the vehicle routing problem with location congestion. Constraints An Int. J. Edward Lam, Pascal Van Hentenryck
2016	A	`conf`	Aligning Popularity and Quality in Online Cultural Markets. ICWSM Pascal Van Hentenryck, Andrés Abeliuk, Franco Berbeglia, Felipe Maldonado, Gerardo Berbeglia
2016	J	`jnl`	Assortment optimization under a multinomial logit model with position bias and social influence. 4OR Andrés Abeliuk, Gerardo Berbeglia, Manuel Cebrián, Pascal Van Hentenryck
2016	A*	`conf`	Asymptotic Optimality of Myopic Optimization in Trial-Offer Markets with Social Influence. IJCAI Andrés Abeliuk, Gerardo Berbeglia, Felipe Maldonado, Pascal Van Hentenryck
2016	A*	`conf`	Benders Decomposition for Large-Scale Prescriptive Evacuations. AAAI Julia Romanski, Pascal Van Hentenryck
2016	J	`jnl`	Benders Decomposition for the Design of a Hub and Shuttle Public Transit System. CoRR Arthur Mahéo, Philip Kilby, Pascal Van Hentenryck
2016	J	`jnl`	Can this video be promoted? - Endogenous and exogenous popularity processes in social media. CoRR Marian-Andrei Rizoiu, Lexing Xie, Scott Sanner, Manuel Cebrián, Honglin Yu, Pascal Van Hentenryck
2016	—	`conf`	Convex Optimization for Joint Expansion Planning of Natural Gas and Power Systems. HICSS Conrado Borraz-Sánchez, Russell Bent, Scott Backhaus, Seth Blumsack, Hassan L. Hijazi, Pascal Van Hentenryck
2016	J	`jnl`	Convex Relaxations for Gas Expansion Planning. INFORMS J. Comput. Conrado Borraz-Sánchez, Russell Bent, Scott Backhaus, Hassan L. Hijazi, Pascal Van Hentenryck
2016	C	`conf`	Efficient dynamic compressor optimization in natural gas transmission systems. ACC Terrence W. K. Mak, Pascal Van Hentenryck, Anatoly Zlotnik, Hassan L. Hijazi, Russell Bent
2016	J	`jnl`	Graphical Models for Optimal Power Flow. CoRR Krishnamurthy Dvijotham, Pascal Van Hentenryck, Michael Chertkov, Sidhant Misra, Marc Vuffray
2016	A*	`conf`	Intelligent Habitat Restoration Under Uncertainty. AAAI Tommaso Urli, Jana Brotánková, Philip Kilby, Pascal Van Hentenryck
2016	A*	`conf`	Interdependent Scheduling Games. IJCAI Andrés Abeliuk, Haris Aziz, Gerardo Berbeglia, Serge Gaspers, Petr Kalina, Nicholas Mattei, Dominik Peters, Paul Stursberg, Pascal Van Hentenryck, Toby Walsh
2016	J	`jnl`	Interdependent Scheduling Games. CoRR Andrés Abeliuk, Haris Aziz, Gerardo Berbeglia, Serge Gaspers, Petr Kalina, Nicholas Mattei, Dominik Peters, Paul Stursberg, Pascal Van Hentenryck, Toby Walsh
2016	—	`conf`	Network flow and copper plate relaxations for AC transmission systems. PSCC Carleton Coffrin, Hassan L. Hijazi, Pascal Van Hentenryck
2016	J	`jnl`	New developments in metaheuristics and their applications - Selected extended contributions from the 10th Metaheuristics International Conference (MIC 2013). J. Heuristics Hoong Chuin Lau, Günther R. Raidl, Pascal Van Hentenryck
2016	B	`conf`	Optimal Flood Mitigation over Flood Propagation Approximations. CPAIOR Byron Tasseff, Russell Bent, Pascal Van Hentenryck
2016	—	`conf`	Optimal Resilient transmission Grid Design. PSCC Harsha Nagarajan, Emre Yamangil, Russell Bent, Pascal Van Hentenryck, Scott Backhaus
2016	A*	`conf`	Optimizing Infrastructure Enhancements for Evacuation Planning. AAAI Kanal Kumar, Julia Romanski, Pascal Van Hentenryck
2016	B	`conf`	Parallel Composition of Scheduling Solvers. CPAIOR Daniel Fontaine, Laurent D. Michel, Pascal Van Hentenryck
2016	—	`conf`	Polynomial SDP cuts for Optimal Power Flow. PSCC Hassan L. Hijazi, Carleton Coffrin, Pascal Van Hentenryck
2016	J	`jnl`	Trial-Offer Markets with Continuation. CoRR Pascal Van Hentenryck, Álvaro Flores, Gerardo Berbeglia
2015	A*	`conf`	A Bargaining Mechanism for One-Way Games. IJCAI Andrés Abeliuk, Gerardo Berbeglia, Pascal Van Hentenryck
2015	J	`jnl`	A Constraint Programming Approach for Non-Preemptive Evacuation Scheduling. CoRR Caroline Even, Andreas Schutt, Pascal Van Hentenryck
2015	A	`conf`	A Constraint Programming Approach for Non-preemptive Evacuation Scheduling. CP Caroline Even, Andreas Schutt, Pascal Van Hentenryck
2015	J	`jnl`	A Multistage Very Large-Scale Neighborhood Search for the Vehicle Routing Problem with Soft Time Windows. Transp. Sci. Sébastien Mouthuy, Florence Massen, Yves Deville, Pascal Van Hentenryck
2015	J	`jnl`	A column-generation approach for joint mobilization and evacuation planning. Constraints An Int. J. Victor Pillac, Manuel Cebrián, Pascal Van Hentenryck
2015	J	`jnl`	Bargaining Mechanisms for One-Way Games. CoRR Andrés Abeliuk, Gerardo Berbeglia, Pascal Van Hentenryck
2015	J	`jnl`	Bargaining Mechanisms for One-Way Games. Games Andrés Abeliuk, Gerardo Berbeglia, Pascal Van Hentenryck
2015	A*	`conf`	Convergent Plans for Large-Scale Evacuations. AAAI Caroline Even, Victor Pillac, Pascal Van Hentenryck
2015	J	`jnl`	Convex Relaxations for Gas Expansion Planning. CoRR Conrado Borraz-Sánchez, Russell Bent, Scott Backhaus, Hassan L. Hijazi, Pascal Van Hentenryck
2015	J	`jnl`	DistFlow Extensions for AC Transmission Systems. CoRR Carleton Coffrin, Hassan L. Hijazi, Pascal Van Hentenryck
2015	A*	`conf`	Emerging Architectures for Global System Science. AAAI Michela Milano, Pascal Van Hentenryck
2015	A	`conf`	Joint Vehicle and Crew Routing and Scheduling. CP Edward Lam, Pascal Van Hentenryck, Philip Kilby
2015	J	`jnl`	Network Flow and Copper Plate Relaxations for AC Transmission Systems. CoRR Carleton Coffrin, Hassan L. Hijazi, Pascal Van Hentenryck
2015	J	`jnl`	Nowcasting Disaster Damage. CoRR Yury Kryvasheyeu, Haohui Chen, Nick Obradovich, Esteban Moro Egido, Pascal Van Hentenryck, James H. Fowler, Manuel Cebrián
2015	J	`jnl`	On the Optimality and Predictability of Cultural Markets with Social Influence. CoRR Pascal Van Hentenryck, Andrés Abeliuk, Franco Berbeglia, Gerardo Berbeglia
2015	J	`jnl`	Popularity Signals in Trial-Offer Markets. CoRR Felipe Maldonado, Pascal Van Hentenryck, Gerardo Berbeglia, Franco Berbeglia
2015	A*	`conf`	Power System Restoration With Transient Stability. AAAI Hassan L. Hijazi, Terrence W. K. Mak, Pascal Van Hentenryck
2015	J	`jnl`	Simulation and Analysis of Container Freight Train Operations at Port Botany. CoRR Daniel Guimarans, Daniel Harabor, Pascal Van Hentenryck
2015	A	`conf`	Strengthening Convex Relaxations with Bound Tightening for Power Network Optimization. CP Carleton Coffrin, Hassan L. Hijazi, Pascal Van Hentenryck
2015	J	`jnl`	The Benefits of Segmentation in Trial-Offer Markets with Social Influence and Position Bias. CoRR Franco Berbeglia, Gerardo Berbeglia, Pascal Van Hentenryck
2015	J	`jnl`	The Complexity of Switching and FACTS Maximum-Potential-Flow Problems. CoRR Karsten Lehmann, Alban Grastien, Pascal Van Hentenryck
2015	J	`jnl`	The QC Relaxation: Theoretical and Computational Results on Optimal Power Flow. CoRR Carleton Coffrin, Hassan L. Hijazi, Pascal Van Hentenryck
2015	J	`jnl`	Transmission system repair and restoration. Math. Program. Pascal Van Hentenryck, Carleton Coffrin
2014	J	`jnl`	A Linear-Programming Approximation of AC Power Flows. INFORMS J. Comput. Carleton Coffrin, Pascal Van Hentenryck
2014	J	`jnl`	A Microkernel Architecture for Constraint Programming. CoRR Laurent Michel, Pascal Van Hentenryck
2014	—	`conf`	A Path-Generation Matheuristic for Large Scale Evacuation Planning. Hybrid Metaheuristics Victor Pillac, Pascal Van Hentenryck, Caroline Even
2014	J	`jnl`	AC-Feasibility on Tree Networks is NP-Hard. CoRR Karsten Lehmann, Alban Grastien, Pascal Van Hentenryck
2014	A	`conf`	Constraint-Based Lagrangian Relaxation. CP Daniel Fontaine, Laurent D. Michel, Pascal Van Hentenryck
2014	A	`conf`	Domain Views for Constraint Programming. CP Pascal Van Hentenryck, Laurent D. Michel
2014	J	`jnl`	Domain Views for Constraint Programming. CoRR Pascal Van Hentenryck, Laurent Michel
2014	J	`jnl`	Looking into the crystal-ball: a bright future for CP. Constraints An Int. J. Michela Milano, Pascal Van Hentenryck
2014	J	`jnl`	Measuring and Optimizing Cultural Markets. CoRR Andrés Abeliuk, Gerardo Berbeglia, Manuel Cebrián, Pascal Van Hentenryck
2014	J	`jnl`	Multi-period vehicle loading with stochastic release dates. EURO J. Transp. Logist. Yasemin Arda, Yves Crama, David Kronus, Thierry Pironet, Pascal Van Hentenryck
2014	A	`conf`	NICTA Evacuation Planner: Actionable Evacuation Plans with Contraflows. ECAI Caroline Even, Victor Pillac, Pascal Van Hentenryck
2014	A	`conf`	One-way games. AAMAS Andrés Abeliuk, Gerardo Berbeglia, Pascal Van Hentenryck
2014	J	`jnl`	Optimal and efficient filtering algorithms for table constraints. Constraints An Int. J. Jean-Baptiste Mairy, Pascal Van Hentenryck, Yves Deville
2014	J	`jnl`	Optimizing Expected Utility in a Multinomial Logit Model with Position Bias and Social Influence. CoRR Andrés Abeliuk, Gerardo Berbeglia, Manuel Cebrián, Pascal Van Hentenryck
2014	J	`jnl`	Performance of Social Network Sensors During Hurricane Sandy. CoRR Yury Kryvasheyeu, Haohui Chen, Esteban Moro, Pascal Van Hentenryck, Manuel Cebrián
2014	—	`conf`	Power system restoration planning with standing phase angle and voltage difference constraints. PSCC Terrence W. K. Mak, Carleton Coffrin, Pascal Van Hentenryck, Ian A. Hiskens, David J. Hill
2014	—	`conf`	Primal and dual bounds for Optimal Transmission Switching. PSCC Carleton Coffrin, Hassan L. Hijazi, Karsten Lehmann, Pascal Van Hentenryck
2014	A*	`conf`	Propagating Regular Counting Constraints. AAAI Nicolas Beldiceanu, Pierre Flener, Justin Pearson, Pascal Van Hentenryck
2014	A	`conf`	Teaching creative problem solving in a MOOC. SIGCSE Pascal Van Hentenryck, Carleton Coffrin
2014	J	`jnl`	The Complexity of DC-Switching Problems. CoRR Karsten Lehmann, Alban Grastien, Pascal Van Hentenryck
2014	J	`jnl`	The future of optimization technology. Constraints An Int. J. Maria Garcia de la Banda, Peter J. Stuckey, Pascal Van Hentenryck, Mark Wallace
2014	—	`conf`	Transmission Network Expansion Planning: Bridging the gap between AC heuristics and DC approximations. PSCC Russell Bent, Carleton Coffrin, Rodrigo R. E. Gumucio, Pascal Van Hentenryck
2014	—	`conf`	Transmission System Restoration: Co-optimization of repairs, load pickups, and generation dispatch. PSCC Carleton Coffrin, Pascal Van Hentenryck
2013	J	`jnl`	A Conflict-Based Path-Generation Heuristic for Evacuation Planning. CoRR Victor Pillac, Pascal Van Hentenryck, Caroline Even
2013	J	`jnl`	A constraint satisfaction approach to the robust spanning tree problem with interval data CoRR Ionut D. Aron, Pascal Van Hentenryck
2013	A*	`conf`	Computational Disaster Management. IJCAI Pascal Van Hentenryck
2013	J	`jnl`	Crowdsourcing Dilemma CoRR Victor Naroditskiy, Nicholas R. Jennings, Pascal Van Hentenryck, Manuel Cebrián
2013	A	`conf`	Decide Different! CP Pascal Van Hentenryck
2013	J	`jnl`	Domain consistency with forbidden values. Constraints An Int. J. Yves Deville, Pascal Van Hentenryck, Jean-Baptiste Mairy
2013	A	`conf`	Explaining Propagators for Edge-Valued Decision Diagrams. CP Graeme Gange, Peter J. Stuckey, Pascal Van Hentenryck
2013	A	`conf`	Model Combinators for Hybrid Optimization. CP Daniel Fontaine, Laurent Michel, Pascal Van Hentenryck
2013	J	`jnl`	Propagating Regular Counting Constraints. CoRR Nicolas Beldiceanu, Pierre Flener, Justin Pearson, Pascal Van Hentenryck
2013	A	`conf`	Residential Demand Response under Uncertainty. CP Paul Scott, Sylvie Thiébaux, Menkes van den Briel, Pascal Van Hentenryck
2013	A	`conf`	The Objective-CP Optimization System. CP Pascal Van Hentenryck, Laurent Michel
2012	J	`jnl`	A Linear-Programming Approximation of AC Power Flows CoRR Carleton Coffrin, Pascal Van Hentenryck
2012	J	`jnl`	AI@NICTA. AI Mag. Nick Barnes, Peter Baumgartner, Tibério S. Caetano, Hugh F. Durrant-Whyte, Gerwin Klein, Penelope Sanderson, Abdul Sattar, Peter J. Stuckey, Sylvie Thiébaux, Pascal Van Hentenryck, Toby Walsh
2012	B	`conf`	Activity-Based Search for Black-Box Constraint Programming Solvers. CPAIOR Laurent Michel, Pascal Van Hentenryck
2012	A	`conf`	An Optimal Filtering Algorithm for Table Constraints. CP Jean-Baptiste Mairy, Pascal Van Hentenryck, Yves Deville
2012	A	`conf`	Constraint Satisfaction over Bit-Vectors. CP Laurent D. Michel, Pascal Van Hentenryck
2012	J	`jnl`	Constraint-based Very Large-Scale Neighborhood search. Constraints An Int. J. Sébastien Mouthuy, Pascal Van Hentenryck, Yves Deville
2012	A	`conf`	Joint Assessment and Restoration of Power Systems. ECAI Pascal Van Hentenryck, Nabeel Gillani, Carleton Coffrin
2012	J	`jnl`	LS(Graph): a constraint-based local search for constraint optimization on trees and paths. Constraints An Int. J. Quang-Dung Pham, Yves Deville, Pascal Van Hentenryck
2012	A*	`conf`	Last-Mile Restoration for Multiple Interdependent Infrastructures. AAAI Carleton Coffrin, Pascal Van Hentenryck, Russell Bent
2012	B	`conf`	Pheromone-Based Heuristic Column Generation for Vehicle Routing Problems with Black Box Feasibility. CPAIOR Florence Massen, Yves Deville, Pascal Van Hentenryck
2012	B	`conf`	Randomized Adaptive Vehicle Decomposition for Large-Scale Power Restoration. CPAIOR Ben Simon, Carleton Coffrin, Pascal Van Hentenryck
2011	J	`jnl`	Activity-Based Search for Black-Box Contraint-Programming Solvers CoRR Laurent D. Michel, Pascal Van Hentenryck
2011	J	`jnl`	An anytime multistep anticipatory algorithm for online stochastic combinatorial optimization. Ann. Oper. Res. Luc Mercier, Pascal Van Hentenryck
2011	A	`conf`	Checking and Filtering Global Set Constraints. CP Justin Yip, Pascal Van Hentenryck
2011	J	`jnl`	Constraint Programming meets Machine Learning and Data Mining (Dagstuhl Seminar 11201). Dagstuhl Reports Luc De Raedt, Siegfried Nijssen, Barry O'Sullivan, Pascal Van Hentenryck
2011	B	`conf`	Identifying Patterns in Sequences of Variables. CPAIOR Alessandro Zanarini, Pascal Van Hentenryck
2011	A*	`conf`	Large Neighborhood Search and Adaptive Randomized Decompositions for Flexible Jobshop Scheduling. IJCAI Dario Pacino, Pascal Van Hentenryck
2011	A	`conf`	Large Neighborhood Search for Dial-a-Ride Problems. CP Siddhartha Jain, Pascal Van Hentenryck
2011	J	`jnl`	On Lattice Protein Structure Prediction Revisited. IEEE ACM Trans. Comput. Biol. Bioinform. Iván Dotú, Manuel Cebrián, Pascal Van Hentenryck, Peter Clote
2011	J	`jnl`	Optimal deployment of eventually-serializable data services. Ann. Oper. Res. Laurent D. Michel, Alexander A. Shvartsman, Elaine L. Sonderegger, Pascal Van Hentenryck
2011	J	`jnl`	Solving Steel Mill Slab Problems with constraint-based techniques: CP, LNS, and CBLS. Constraints An Int. J. Pierre Schaus, Pascal Van Hentenryck, Jean-Noël Monette, Carleton Coffrin, Laurent Michel, Yves Deville
2011	B	`conf`	Spatial and Objective Decompositions for Very Large SCAPs. CPAIOR Carleton Coffrin, Pascal Van Hentenryck, Russell Bent
2011	A*	`conf`	Symmetry Breaking via LexLeader Feasibility Checkers. IJCAI Justin Yip, Pascal Van Hentenryck
2010	B	`conf`	Boosting Set Constraint Propagation for Network Design. CPAIOR Justin Yip, Pascal Van Hentenryck, Carmen Gervet
2010	J	`jnl`	CPBPV: a constraint-programming framework for bounded program verification. Constraints An Int. J. Hélène Collavizza, Michel Rueher, Pascal Van Hentenryck
2010	B	`conf`	Constraint-Based Local Search for Constrained Optimum Paths Problems. CPAIOR Pham Quang Dung, Yves Deville, Pascal Van Hentenryck
2010	A	`conf`	Domain Consistency with Forbidden Values. CP Yves Deville, Pascal Van Hentenryck
2010	A	`conf`	Exponential Propagation for Set Variables. CP Justin Yip, Pascal Van Hentenryck
2010	A	`conf`	Load Balancing and Almost Symmetries for RAMBO Quorum Hosting. CP Laurent Michel, Alexander A. Shvartsman, Elaine L. Sonderegger, Pascal Van Hentenryck
2010	J	`jnl`	Online stochastic optimization under time constraints. Ann. Oper. Res. Pascal Van Hentenryck, Russell Bent, Eli Upfal
2010	Misc	`conf`	RNA Structural Segmentation. Pacific Symposium on Biocomputing Iván Dotú, W. A. Lorenz, Pascal Van Hentenryck, Peter Clote
2010	B	`conf`	Revisiting the Soft Global Cardinality Constraint. CPAIOR Pierre Schaus, Pascal Van Hentenryck, Alessandro Zanarini
2010	A	`conf`	Spatial, Temporal, and Hybrid Decompositions for Large-Scale Vehicle Routing with Time Windows. CP Russell Bent, Pascal Van Hentenryck
2010	B	`conf`	Strategic Planning for Disaster Recovery with Stochastic Last Mile Distribution. CPAIOR Pascal Van Hentenryck, Russell Bent, Carleton Coffrin
2009	—	`conf`	A Local Search Modeling for Constrained Optimum Paths Problems (Extended Abstract) LSCS Pham Quang Dung, Yves Deville, Pascal Van Hentenryck
2009	B	`conf`	Bandwidth-Limited Optimal Deployment of Eventually-Serializable Data Services. CPAIOR Laurent D. Michel, Pascal Van Hentenryck, Elaine L. Sonderegger, Alexander A. Shvartsman, Martijn Moraal
2009	C	`conf`	Constraint Programming. EMO Pascal Van Hentenryck
2009	A	`conf`	Constraint-Based Local Search for the Automatic Generation of Architectural Tests. CP Pascal Van Hentenryck, Carleton Coffrin, Boris Gutkovich
2009	J	`jnl`	Dynamic structural symmetry breaking for constraint satisfaction problems. Constraints An Int. J. Pierre Flener, Justin Pearson, Meinolf Sellmann, Pascal Van Hentenryck, Magnus Ågren
2009	A	`conf`	Evaluation of Length-Lex Set Variables. CP Justin Yip, Pascal Van Hentenryck
2009	A*	`conf`	Just-In-Time Scheduling with Constraint Programming. ICAPS Jean-Noël Monette, Yves Deville, Pascal Van Hentenryck
2009	Misc	`conf`	LS(graph & tree): a local search framework for constraint optimization on graphs and trees. SAC Pham Quang Dung, Yves Deville, Pascal Van Hentenryck
2009	Misc	`conf`	Length-lex bound consistency for knapsack constraints. SAC Justin Yip, Pascal Van Hentenryck
2009	J	`jnl`	Model-driven visualizations of constraint-based local search. Constraints An Int. J. Grégoire Dooms, Pascal Van Hentenryck, Laurent Michel
2009	A	`conf`	Online Selection of Quorum Systems for RAMBO Reconfiguration. CP Laurent Michel, Martijn Moraal, Alexander A. Shvartsman, Elaine L. Sonderegger, Pascal Van Hentenryck
2009	J	`jnl`	Online stochastic reservation systems. Ann. Oper. Res. Pascal Van Hentenryck, Russell Bent, Luc Mercier, Yannis Vergados
2009	—	`conf`	Optimizing Network Deployment of Formally-Specified Distributed Systems. SEDE Carleton Coffrin, Laurent D. Michel, Alexander A. Shvartsman, Elaine L. Sonderegger, Pascal Van Hentenryck
2009	J	`jnl`	Parallel and distributed local search in COMET. Comput. Oper. Res. Laurent D. Michel, Andrew See, Pascal Van Hentenryck
2009	A	`conf`	Real-Time Tabu Search for Video Tracking Association. CP Iván Dotú, Pascal Van Hentenryck, Miguel A. Patricio, Antonio Berlanga, José García, José M. Molina López
2009	B	`conf`	Scalable Load Balancing in Nurse to Patient Assignment Problems. CPAIOR Pierre Schaus, Pascal Van Hentenryck, Jean-Charles Régin
2009	—	`conf`	Sonet Network Design Problems LSCS Marie Pelleau, Pascal Van Hentenryck, Charlotte Truchet
2009	J	`jnl`	Transparent Parallelization of Constraint Programming. INFORMS J. Comput. Laurent Michel, Andrew See, Pascal Van Hentenryck
2008	B	`conf`	30 Years of Constraint Programming. CPAIOR Pascal Van Hentenryck
2008	B	`conf`	Amsaa: A Multistep Anticipatory Algorithm for Online Stochastic Combinatorial Optimization. CPAIOR Luc Mercier, Pascal Van Hentenryck
2008	A*	`conf`	Bound Consistency for Binary Length-Lex Set Constraints. AAAI Pascal Van Hentenryck, Justin Yip, Carmen Gervet, Grégoire Dooms
2008	A	`conf`	CPBPV: A Constraint-Programming Framework for Bounded Program Verification. CP Hélène Collavizza, Michel Rueher, Pascal Van Hentenryck
2008	J	`jnl`	CPBVP: A Constraint-Programming Framework for Bounded Program Verification CoRR Hélène Collavizza, Michel Rueher, Pascal Van Hentenryck
2008	J	`jnl`	Comparison between CPBPV, ESC/Java, CBMC, Blast, EUREKA and Why for Bounded Program Verification CoRR Hélène Collavizza, Michel Rueher, Pascal Van Hentenryck
2008	J	`jnl`	Edge Finding for Cumulative Scheduling. INFORMS J. Comput. Luc Mercier, Pascal Van Hentenryck
2008	B	`conf`	Gap Reduction Techniques for Online Stochastic Project Scheduling. CPAIOR Grégoire Dooms, Pascal Van Hentenryck
2008	B	`conf`	Optimal Deployment of Eventually-Serializable Data Services. CPAIOR Laurent Michel, Alexander A. Shvartsman, Elaine L. Sonderegger, Pascal Van Hentenryck
2008	A*	`conf`	Protein Structure Prediction on the Face Centered Cubic Lattice by Local Search. AAAI Manuel Cebrián, Iván Dotú, Pascal Van Hentenryck, Peter Clote
2008	A	`conf`	Protein Structure Prediction with Large Neighborhood Constraint Programming Search. CP Iván Dotú, Manuel Cebrián, Pascal Van Hentenryck, Peter Clote
2008	A	`conf`	The Impact of Constraint Programming. ECAI Pascal Van Hentenryck
2008	B	`conf`	The Steel Mill Slab Design Problem Revisited. CPAIOR Pascal Van Hentenryck, Laurent Michel
2007	B	`ed.`	Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 4th International Conference, CPAIOR 2007, Brussels, Belgium, May 23-26, 2007, Proceedings CPAIOR Pascal Van Hentenryck, Laurence A. Wolsey
2007	J	`jnl`	Local Search-based Hybrid Algorithms for Finding Golomb Rulers. Constraints An Int. J. Carlos Cotta, Iván Dotú, Antonio J. Fernández, Pascal Van Hentenryck
2007	A	`conf`	Model-Driven Visualizations of Constraint-Based Local Search. CP Grégoire Dooms, Pascal Van Hentenryck, Laurent Michel
2007	A	`conf`	Parallelizing Constraint Programs Transparently. CP Laurent Michel, Andrew See, Pascal Van Hentenryck
2007	A*	`conf`	Performance Analysis of Online Anticipatory Algorithms for Large Multistage Stochastic Integer Programs. IJCAI Luc Mercier, Pascal Van Hentenryck
2007	A*	`conf`	Population-Based Simulated Annealing for Traveling Tournaments. AAAI Pascal Van Hentenryck, Yannis Vergados
2007	A*	`conf`	Propagating Knapsack Constraints in Sublinear Time. AAAI Irit Katriel, Meinolf Sellmann, Eli Upfal, Pascal Van Hentenryck
2007	A*	`conf`	Randomized Adaptive Spatial Decoupling for Large-Scale Vehicle Routing with Time Windows. AAAI Russell Bent, Pascal Van Hentenryck
2007	J	`jnl`	Scheduling social tournaments locally. AI Commun. Iván Dotú, Pascal Van Hentenryck
2007	J	`jnl`	Strong polynomiality of resource constraint propagation. Discret. Optim. Luc Mercier, Pascal Van Hentenryck
2007	A*	`conf`	Synthesis of Constraint-Based Local Search Algorithms from High-Level Models. AAAI Pascal Van Hentenryck, Laurent D. Michel
2007	A*	`conf`	Waiting and Relocation Strategies in Online Stochastic Vehicle Routing. IJCAI Russell Bent, Pascal Van Hentenryck
2006	A	`conf`	A Memetic Approach to Golomb Rulers. PPSN Carlos Cotta, Iván Dotú, Antonio J. Fernández, Pascal Van Hentenryck
2006	A	`conf`	A Note on Low Autocorrelation Binary Sequences. CP Iván Dotú, Pascal Van Hentenryck
2006	J	`jnl`	A simulated annealing approach to the traveling tournament problem. J. Sched. Aris Anagnostopoulos, Laurent Michel, Pascal Van Hentenryck, Yannis Vergados
2006	J	`jnl`	A two-stage hybrid algorithm for pickup and delivery vehicle routing problems with time windows. Comput. Oper. Res. Russell Bent, Pascal Van Hentenryck
2006	A	`conf`	Differentiable Invariants. CP Pascal Van Hentenryck, Laurent Michel
2006	A	`conf`	Distributed Constraint-Based Local Search. CP Laurent Michel, Andrew See, Pascal Van Hentenryck
2006	A	`conf`	High-Level Nondeterministic Abstractions in. CP Laurent Michel, Andrew See, Pascal Van Hentenryck
2006	A*	`conf`	Length-Lex Ordering for Set CSPs. AAAI Carmen Gervet, Pascal Van Hentenryck
2006	J	`jnl`	Nondeterministic Control for Hybrid Search. Constraints An Int. J. Pascal Van Hentenryck, Laurent Michel
2006	B	`conf`	Online Stochastic Reservation Systems. CPAIOR Pascal Van Hentenryck, Russell Bent, Yannis Vergados
2006	—	`book`	Online stochastic combinatorial optimization. Pascal Van Hentenryck, Russell Bent
2006	C	`ed.`	Practical Aspects of Declarative Languages, 8th International Symposium, PADL 2006, Charleston, SC, USA, January 9-10, 2006, Proceedings PADL Pascal Van Hentenryck
2006	—	`conf`	Scheduling Social Golfers with Memetic Evolutionary Programming. Hybrid Metaheuristics Carlos Cotta, Iván Dotú, Antonio J. Fernández, Pascal Van Hentenryck
2006	A	`conf`	Static and Dynamic Structural Symmetry Breaking. CP Pierre Flener, Justin Pearson, Meinolf Sellmann, Pascal Van Hentenryck
2006	B	`conf`	Traveling Tournament Scheduling: A Systematic Evaluation of Simulated Annealling. CPAIOR Pascal Van Hentenryck, Yannis Vergados
2005	J	`jnl`	A Modeling Layer for Constraint-Programming Libraries. INFORMS J. Comput. Laurent Michel, Pascal Van Hentenryck
2005	B	`conf`	A simple hybrid evolutionary algorithm for finding Golomb rulers. Congress on Evolutionary Computation Iván Dotú, Pascal Van Hentenryck
2005	—	`conf`	Compositional Derivation of Symmetries for Constraint Satisfaction. SARA Pascal Van Hentenryck, Pierre Flener, Justin Pearson, Magnus Ågren
2005	—	`book`	Constraint-based local search. Pascal Van Hentenryck, Laurent Michel
2005	J	`jnl`	Contraint-Based Combinators for Local Search. Constraints An Int. J. Pascal Van Hentenryck, Laurent Michel, Liyuan Liu
2005	J	`jnl`	Control Abstractions for Local Search. Constraints An Int. J. Pascal Van Hentenryck, Laurent Michel
2005	J	`jnl`	Introduction to the Special Issue on Principles and Practice of Constraint Programming. Constraints An Int. J. Pascal Van Hentenryck
2005	J	`jnl`	Maintaining Longest Paths Incrementally. Constraints An Int. J. Irit Katriel, Laurent Michel, Pascal Van Hentenryck
2005	A	`conf`	Maintaining Longest Paths in Cyclic Graphs. CP Irit Katriel, Pascal Van Hentenryck
2005	A*	`conf`	Minimizing Breaks in Sport Scheduling with Local Search. ICAPS Pascal Van Hentenryck, Yannis Vergados
2005	B	`conf`	Nondeterministic Control for Hybrid Search. CPAIOR Pascal Van Hentenryck, Laurent Michel
2005	A*	`conf`	Online Stochastic Optimization Without Distributions. ICAPS Russell Bent, Pascal Van Hentenryck
2005	A	`conf`	Parallel Local Search in Comet. CP Laurent Michel, Pascal Van Hentenryck
2005	J	`jnl`	Safe and tight linear estimators for global optimization. Math. Program. Glencora Borradaile, Pascal Van Hentenryck
2005	B	`conf`	Scheduling Social Golfers Locally. CPAIOR Iván Dotú, Pascal Van Hentenryck
2005	A	`conf`	Scheduling Social Tournaments. CP Iván Dotú, Alvaro del Val, Pascal Van Hentenryck
2005	A*	`conf`	Structural Symmetry Breaking. IJCAI Meinolf Sellmann, Pascal Van Hentenryck
2005	A	`conf`	Sub-optimality Approximations. CP Russell Bent, Irit Katriel, Pascal Van Hentenryck
2005	A	`conf`	The Comet Programming Language and System. CP Laurent Michel, Pascal Van Hentenryck
2004	J	`jnl`	A Two-Stage Hybrid Local Search for the Vehicle Routing Problem with Time Windows. Transp. Sci. Russell Bent, Pascal Van Hentenryck
2004	J	`jnl`	A decomposition-based implementation of search strategies. ACM Trans. Comput. Log. Laurent Michel, Pascal Van Hentenryck
2004	J	`jnl`	A simple and deterministic competitive algorithm for online facility location. Inf. Comput. Aris Anagnostopoulos, Russell Bent, Eli Upfal, Pascal Van Hentenryck
2004	J	`jnl`	A simple tabu search for warehouse location. Eur. J. Oper. Res. Laurent Michel, Pascal Van Hentenryck
2004	A	`conf`	Constraint-Based Combinators for Local Search. CP Pascal Van Hentenryck, Laurent Michel, Liyuan Liu
2004	A*	`conf`	Iterative Relaxations for Iterative Flattening in Cumulative Scheduling. ICAPS Laurent Michel, Pascal Van Hentenryck
2004	J	`jnl`	On the complexity of the robust spanning tree problem with interval data. Oper. Res. Lett. Ionut D. Aron, Pascal Van Hentenryck
2004	—	`conf`	Online Stochastic and Robust Optimization. ASIAN Russell Bent, Pascal Van Hentenryck
2004	A*	`conf`	Parameterized Interfaces for Open System Verification of Product Lines. ASE Colin Blundell, Kathi Fisler, Shriram Krishnamurthi, Pascal Van Hentenryck
2004	A*	`conf`	Regrets Only! Online Stochastic Optimization under Time Constraints. AAAI Russell Bent, Pascal Van Hentenryck
2004	J	`jnl`	Scenario-Based Planning for Partially Dynamic Vehicle Routing with Stochastic Customers. Oper. Res. Russell Bent, Pascal Van Hentenryck
2004	B	`conf`	Scheduling Abstractions for Local Search. CPAIOR Pascal Van Hentenryck, Laurent Michel
2004	A*	`conf`	The Value of Consensus in Online Stochastic Scheduling. ICAPS Russell Bent, Pascal Van Hentenryck
2003	A*	`conf`	A Simulated Annealing Approach to the Travelling Tournament Problem. IJCAI Aris Anagnostopoulos, Laurent Michel, Pascal Van Hentenryck, Yannis Vergados
2003	A	`conf`	A Two-Stage Hybrid Algorithm for Pickup and Delivery Vehicle Routing Problems with Time Windows. CP Russell Bent, Pascal Van Hentenryck
2003	—	`conf`	Comet in Context. PCK50 Laurent Michel, Pascal Van Hentenryck
2003	A	`conf`	Control Abstractions for Local Search. CP Pascal Van Hentenryck, Laurent Michel
2003	A*	`conf`	Dynamic Vehicle Routing with Stochastic Requests. IJCAI Russell Bent, Pascal Van Hentenryck
2003	A	`conf`	Maintaining Longest Paths Incrementally. CP Laurent Michel, Pascal Van Hentenryck
2003	A	`conf`	To Be or Not to Be ... a Global Constraint. CP Christian Bessière, Pascal Van Hentenryck
2003	A*	`conf`	Tractable Symmetry Breaking for CSPs with Interchangeable Values. IJCAI Pascal Van Hentenryck, Pierre Flener, Justin Pearson, Magnus Ågren
2002	J	`jnl`	A Constraint Satisfaction Approach for Enclosing Solutions to Parametric Ordinary Differential Equations. SIAM J. Numer. Anal. Micha Janssen, Pascal Van Hentenryck, Yves Deville
2002	A	`conf`	A Constraint Satisfaction Approach to the Robust Spanning Tree Problem with Interval Data. UAI Ionut D. Aron, Pascal Van Hentenryck
2002	A	`conf`	A constraint-based architecture for local search. OOPSLA Laurent Michel, Pascal Van Hentenryck
2002	J	`jnl`	Consistency Techniques in Ordinary Differential Equations. Constraints An Int. J. Yves Deville, Micha Janssen, Pascal Van Hentenryck
2002	J	`jnl`	Constraint and Integer Programming in OPL. INFORMS J. Comput. Pascal Van Hentenryck
2002	—	`conf`	Du filtrage optimal à la stabilité parfaite. JFPLC Pascal Van Hentenryck
2002	J	`jnl`	Editorial - SAS'97. Theor. Comput. Sci. Pascal Van Hentenryck
2002	A	`ed.`	Principles and Practice of Constraint Programming - CP 2002, 8th International Conference, CP 2002, Ithaca, NY, USA, September 9-13, 2002, Proceedings CP Pascal Van Hentenryck
2002	J	`jnl`	Sequence-based abstract interpretation of Prolog. Theory Pract. Log. Program. Baudouin Le Charlier, Sabina Rossi, Pascal Van Hentenryck
2001	A*	`conf`	A Constraint Satisfaction Approach to Parametric Differential Equations. IJCAI Micha Janssen, Pascal Van Hentenryck, Yves Deville
2001	J	`jnl`	In honor of Alain Colmerauer's 60th birthday. Theory Pract. Log. Program. Frédéric Benhamou, Pascal Van Hentenryck
2001	A	`conf`	Optimal Pruning in Parametric Differential Equations. CP Micha Janssen, Pascal Van Hentenryck, Yves Deville
2000	—	`conf`	A Preview of OPL. PACPL Pascal Van Hentenryck
2000	J	`jnl`	Abstract Domains for Reordering CLP(R J. Log. Program. Viswanath Ramachandran, Pascal Van Hentenryck, Agostino Cortesi
2000	J	`jnl`	Combinations of abstract domains for logic programming: open product and generic pattern construction. Sci. Comput. Program. Agostino Cortesi, Baudouin Le Charlier, Pascal Van Hentenryck
2000	J	`jnl`	Constraint programming. ACM SIGSOFT Softw. Eng. Notes Pascal Van Hentenryck
2000	J	`jnl`	Localizer. Constraints An Int. J. Laurent Michel, Pascal Van Hentenryck
2000	J	`jnl`	Search and strategies in OPL. ACM Trans. Comput. Log. Pascal Van Hentenryck, Laurent Perron, Jean-Francois Puget
2000	J	`jnl`	Sequence-Based Abstract Interpretation of Prolog CoRR Baudouin Le Charlier, Sabina Rossi, Pascal Van Hentenryck
1999	Misc	`conf`	Combinatorial Optimization in OPL Studio. EPIA Pascal Van Hentenryck, Laurent Michel, Philippe Laborie, Wim Nuijten, Jerome Rogerie
1999	C	`conf`	Constraint Programming in OPL. PPDP Pascal Van Hentenryck, Laurent Michel, Laurent Perron, Jean-Charles Régin
1999	J	`jnl`	Constraint Satisfaction over Connected Row Convex Constraints. Artif. Intell. Yves Deville, Olivier Barette, Pascal Van Hentenryck
1999	J	`jnl`	Exploiting Type Analysis for Unification in a Distributed Environment. Comput. Artif. Intell. Evelina Lamma, Paola Mello, Cesare Stefanelli, Pascal Van Hentenryck
1999	—	`conf`	Localizer: A Modeling Language for Local Search. JFPLC Pascal Van Hentenryck
1999	J	`jnl`	Localizer: A Modeling Language for Local Search. INFORMS J. Comput. Laurent D. Michel, Pascal Van Hentenryck
1999	A	`conf`	Multistep Filtering Operators for Ordinary Differential Equations. CP Micha Janssen, Yves Deville, Pascal Van Hentenryck
1999	—	`conf`	OPL Script: Composing and Controlling Models. New Trends in Constraints Pascal Van Hentenryck, Laurent Michel
1998	J	`jnl`	A Constraint Satisfaction Approach to a Circuit Design Problem. J. Glob. Optim. Jean-François Puget, Pascal Van Hentenryck
1998	J	`jnl`	A Gentle Introduction to NUMERICA. Artif. Intell. Pascal Van Hentenryck
1998	A	`conf`	Consistency Techniques in Ordinary Differential Equations. CP Yves Deville, Micha Janssen, Pascal Van Hentenryck
1998	J	`jnl`	Design, Implementation, and Evaluation of the Constraint Language cc(FD). J. Log. Program. Pascal Van Hentenryck, Vijay A. Saraswat, Yves Deville
1998	J	`jnl`	Introduction to the Special Issue. Constraints An Int. J. Isabel F. Cruz, Kim Marriott, Pascal Van Hentenryck
1998	J	`jnl`	Newton - Constraint Programming over Nonlinear Constraints. Sci. Comput. Program. Pascal Van Hentenryck, Laurent Michel, Frédéric Benhamou
1997	A	`conf`	A Modeling Language for Constraint Programming. CP Pascal Van Hentenryck
1997	J	`jnl`	Constraint Programming for Combinatorial Search Problems. Constraints An Int. J. Pascal Van Hentenryck
1997	J	`jnl`	Constraint Programming: Strategic Directions. Constraints An Int. J. Pascal Van Hentenryck, Vijay A. Saraswat
1997	—	`conf`	Constraint Satisfaction over Connected Row Convex Constraints. IJCAI (1) Yves Deville, Olivier Barette, Pascal Van Hentenryck
1997	J	`jnl`	Helios: A Modeling Language for Global Optimization and its Implementation in Newton. Theor. Comput. Sci. Laurent Michel, Pascal Van Hentenryck
1997	—	`conf`	Improving Distributed Unification through Type Analysis. Euro-Par Evelina Lamma, Paola Mello, Cesare Stefanelli, Pascal Van Hentenryck
1997	J	`jnl`	Introduction to the Special Issue on Interval Constraints. Constraints An Int. J. Frédéric Benhamou, Pascal Van Hentenryck
1997	J	`jnl`	Introduction to the Special Issue. Constraints An Int. J. Vijay A. Saraswat, Pascal Van Hentenryck
1997	A	`conf`	Localizer: A Modeling Language for Local Search. CP Laurent Michel, Pascal Van Hentenryck
1997	—	`book`	Numerica - A Modeling Language for Global Optimization. Pascal Van Hentenryck, Laurent Michel, Yves Deville
1997	—	`conf`	Numerica: A Modeling Language for Global Optimization. IJCAI Pascal Van Hentenryck
1997	B	`ed.`	Static Analysis, 4th International Symposium, SAS '97, Paris, France, September 8-10, 1997, Proceedings SAS Pascal Van Hentenryck
1996	—	`conf`	CLP(Rlin) Revised. JICSLP Philippe Refalo, Pascal Van Hentenryck
1996	—	`conf`	Comsumption-based Distributed Unification. APPIA-GULP-PRODE Evelina Lamma, Paola Mello, Cesare Stefanelli, Pascal Van Hentenryck
1996	J	`jnl`	Constraint Programming for Combinatorial Search Problems. ACM Comput. Surv. Pascal Van Hentenryck
1996	J	`jnl`	In Memoriam: Paris C. Kanellakis. J. Log. Program. Pascal Van Hentenryck
1996	J	`jnl`	Redundancy Elimination with a Lexicographic Solved Form. Ann. Math. Artif. Intell. Jean-Louis Imbert, Pascal Van Hentenryck
1996	J	`jnl`	Strategic Directions in Constraint Programming. ACM Comput. Surv. Pascal Van Hentenryck, Vijay A. Saraswat
1995	—	`conf`	A generic fixpoint semantics for PROLOG and its application for abstract interpretation. JFPLC Baudouin Le Charlier, Pascal Van Hentenryck
1995	J	`jnl`	Backtracking without Trailing in CLP(R-lin) ACM Trans. Program. Lang. Syst. Pascal Van Hentenryck, Viswanath Ramachandran
1995	A	`conf`	Constraint Solving for Combinatorial Search Problems: A Tutorial. CP Pascal Van Hentenryck
1995	J	`jnl`	Evaluation of the Domain J. Log. Program. Pascal Van Hentenryck, Agostino Cortesi, Baudouin Le Charlier
1995	B	`conf`	LSign Reordered SAS Viswanath Ramachandran, Pascal Van Hentenryck
1995	J	`jnl`	Reexecution in Abstract Interpretation of Prolog. Acta Informatica Baudouin Le Charlier, Pascal Van Hentenryck
1995	C	`conf`	Semantic Foundations of Binding Time Analysis for Imperative Programs. PEPM Manuvir Das, Thomas W. Reps, Pascal Van Hentenryck
1995	J	`jnl`	Type Analysis of Prolog Using Type Graphs. J. Log. Program. Pascal Van Hentenryck, Agostino Cortesi, Baudouin Le Charlier
1994	—	`conf`	An Abstract Interpretation Framework for (almost) Full Prolog. GULP-PRODE (1) Baudouin Le Charlier, Sabina Rossi, Pascal Van Hentenryck
1994	—	`conf`	An Abstract Interpretation Framework which Accurately Handles Prolog Search-Rule and the Cut. ILPS Baudouin Le Charlier, Sabina Rossi, Pascal Van Hentenryck
1994	A*	`conf`	Backtracking without Trailing in CLP(R PLDI Pascal Van Hentenryck, Viswanath Ramachandran
1994	—	`conf`	CLP(Intervals) Revisited. ILPS Frédéric Benhamou, David A. McAllester, Pascal Van Hentenryck
1994	—	`conf`	Cardinality Analysis of Prolog. ILPS C. Braem, Baudouin Le Charlier, S. Modart, Pascal Van Hentenryck
1994	A*	`conf`	Combinations of Abstract Domains for Logic Programming. POPL Agostino Cortesi, Baudouin Le Charlier, Pascal Van Hentenryck
1994	—	`conf`	Design, Implementation, and Evaluation of the Constraint Language cc(FD) Constraint Programming Pascal Van Hentenryck, Vijay A. Saraswat, Yves Deville
1994	J	`jnl`	Experimental Evaluation of a Generic Abstract Interpretation Algorithm for PROLOG. ACM Trans. Program. Lang. Syst. Baudouin Le Charlier, Pascal Van Hentenryck
1994	B	`ed.`	Logic Programming, Proceedings of the Eleventh International Conference on Logic Programming, Santa Marherita Ligure, Italy, June 13-18, 1994 ICLP Pascal Van Hentenryck
1994	A*	`conf`	Type Analysis of Prolog Using Type Graphs. PLDI Pascal Van Hentenryck, Agostino Cortesi, Baudouin Le Charlier
1993	B	`conf`	Constraint Programming Languages. ICTAI Pascal Van Hentenryck
1993	J	`jnl`	Generic Abstract Interpretation Algorithms for Prolog: Two Optimization Techniques and their Experimental Evaluation. Softw. Pract. Exp. Vincent Englebert, Baudouin Le Charlier, Didier Roland, Pascal Van Hentenryck
1993	C	`conf`	Groundness Analysis for PROLOG: Implementation and Evaluation of the Domain PEPM Baudouin Le Charlier, Pascal Van Hentenryck
1993	—	`conf`	Incremental Algorithms for Constraint Solving and Entailment over Rational Trees. FSTTCS Viswanath Ramachandran, Pascal Van Hentenryck
1993	—	`conf`	Optimization Techniques for General Purpose Fixpoint Algorithms - Practical Efficiency for the Abstract Interpretation of Prolog. WSA Baudouin Le Charlier, Olivier Degimbe, Laurent Michel, Pascal Van Hentenryck
1993	—	`conf`	The Impact of Granularity in Abstract Interpretation of Prolog. WSA Pascal Van Hentenryck, Olivier Degimbe, Baudouin Le Charlier, Laurent Michel
1992	J	`jnl`	A Generic Arc-Consistency Algorithm and its Specializations. Artif. Intell. Pascal Van Hentenryck, Yves Deville, Choh Man Teng
1992	J	`jnl`	Constraint Satisfaction Using Constraint Logic Programming. Artif. Intell. Pascal Van Hentenryck, Helmut Simonis, Mehmet Dincbas
1992	—	`conf`	Experimental evaluation of a generic abstract interpretation algorithm for Prolog. ICCL Baudouin Le Charlier, Pascal Van Hentenryck
1992	—	`conf`	Generic Abstract Interpretation Algorithms For Prolog: Tow Optimization Techniques and Their Experimental Evaluation. PLILP Vincent Englebert, Baudouin Le Charlier, Didier Roland, Pascal Van Hentenryck
1992	—	`conf`	On the Design of Generic Abstract Interpretation Frameworks. WSA Baudouin Le Charlier, Pascal Van Hentenryck
1992	—	`conf`	Reexecution in Abstract Interpretation of Prolog. JICSLP Baudouin Le Charlier, Pascal Van Hentenryck
1992	J	`jnl`	Standard Forms for Rational Linear Arithmetic in Constraint Logic Programming. Ann. Math. Artif. Intell. Pascal Van Hentenryck, Thomas Graf
1991	B	`conf`	A Generic Abstract Interpretation Algorithm and its Complexity Analysis. ICLP Baudouin Le Charlier, Kaninda Musumbu, Pascal Van Hentenryck
1991	—	`conf`	A propos des redondances dans les systèmes d'inéquations linéaires. JTASPEFT/WSA Jean-Louis Imbert, Pascal Van Hentenryck
1991	A*	`conf`	An Efficient Arc Consistency Algorithm for a Class of CSP Problems. IJCAI Yves Deville, Pascal Van Hentenryck
1991	J	`jnl`	Constraint logic programming. Knowl. Eng. Rev. Pascal Van Hentenryck
1991	J	`jnl`	Incremental Search in Constraint Logic Programming. New Gener. Comput. Pascal Van Hentenryck, Thierry Le Provost
1991	—	`conf`	On the Handling of Disequations in CLP over Linear Rational Arithmetic. WCLP Jean-Louis Imbert, Pascal Van Hentenryck
1991	—	`conf`	Operational Semantics of Constraint Logic Programming over Finite Domains. PLILP Pascal Van Hentenryck, Yves Deville
1991	—	`conf`	The CLP language CHIP: constraint solving and applications. Compcon Pascal Van Hentenryck
1991	B	`conf`	The Cardinality Operator: A New Logical Connective for Constraint Logic Programming. ICLP Pascal Van Hentenryck, Yves Deville
1991	—	`conf`	The Cardinality Operator: A New Logical Connective for Constraint Logic Programming. WCLP Pascal Van Hentenryck, Yves Deville
1990	—	`conf`	Constraint Logic Programming: From Theory to Applications. NACLP Pascal Van Hentenryck
1990	—	`conf`	Construction of CLP Programs. ALPUK Yves Deville, Pascal Van Hentenryck
1990	B	`conf`	Incremental Constraint Satisfaction in Logic Programming. ICLP Pascal Van Hentenryck
1990	J	`jnl`	Solving Large Combinatorial Problems in Logic Programming. J. Log. Program. Mehmet Dincbas, Helmut Simonis, Pascal Van Hentenryck
1989	—	`book`	Constraint satisfaction in logic programming. Pascal Van Hentenryck
1989	B	`conf`	Parallel Constraint Satisfaction in Logic Programming: Preliminary Results of CHIP within PEPSys. ICLP Pascal Van Hentenryck
1989	A*	`conf`	Simulation of Hybrid Circuits in Constraint Logic Programming. IJCAI Thomas Graf, Pascal Van Hentenryck, Claudine Pradelles, Laurent Zimmer
1988	J	`jnl`	A constraint approach to mastermind in logic programming. SIGART Newsl. Pascal Van Hentenryck
1988	—	`conf`	Applications of CHIP to Industrial and Engineering Problems. IEA/AIE (Vol. 2) Mehmet Dincbas, Pascal Van Hentenryck, Helmut Simonis, Abderrahmane Aggoun, Thomas Graf
1988	A*	`conf`	Generality versus Specificity: An Experience with AI and OR Techniques. AAAI Pascal Van Hentenryck, Jean-Philippe Carillon
1988	—	`conf`	Solving a Cutting-Stock Problem in Constraint Logic Programming. ICLP/SLP Mehmet Dincbas, Helmut Simonis, Pascal Van Hentenryck
1988	A	`conf`	Solving the Car-Sequencing Problem in Constraint Logic Programming. ECAI Mehmet Dincbas, Helmut Simonis, Pascal Van Hentenryck
1988	A	`conf`	The CHIP System: Constraint Handling In Prolog. CADE Mehmet Dincbas, Pascal Van Hentenryck, Helmut Simonis, Abderrahmane Aggoun, Alexander Herold
1988	—	`conf`	The Constraint Logic Programming Language CHIP. FGCS Mehmet Dincbas, Pascal Van Hentenryck, Helmut Simonis, Abderrahmane Aggoun, Thomas Graf, Françoise Berthier
1987	A*	`conf`	A Theoretical Framework for Consistency Techniques in Logic Programming. IJCAI Pascal Van Hentenryck
1987	J	`jnl`	Extended Unification Algorithms for the Integration of Functional Programming into Logic Programming. J. Log. Program. Mehmet Dincbas, Pascal Van Hentenryck
1987	B	`conf`	Forward Checking in Logic Programming. ICLP Pascal Van Hentenryck, Mehmet Dincbas
1986	—	`conf`	Algorithmes d'unification étendue pour l'intégration des langages fonctionnels et logiques. SPLT Mehmet Dincbas, Pascal Van Hentenryck
1986	A*	`conf`	Domains in Logic Programming. AAAI Pascal Van Hentenryck, Mehmet Dincbas