default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDPascal Van Hentenryck
Refine list
refinements active!
zoomed in on 508 of 508 records
view refined list in
export refined list as
showing all 508 records
refine by search term
refine by type
- |
- no options
- temporarily not available
refine by coauthor
- no options
- temporarily not available
refine by orcid
- no options
- temporarily not available
refine by venue
- no options
- temporarily not available
refine by access 
- no options
- temporarily not available
2020 – today
- 2025
[c240]Hongzhao Guan
, Nabeel Gillani, Tyler Simko, Jasmine Mangat, Pascal Van Hentenryck:
Contextual Stochastic Optimization for School Desegregation Policymaking. AAAI 2025: 28024-28032- [i134]Pascal Van Hentenryck:
Optimization Learning. CoRR abs/2501.03443 (2025) - [i133]Guancheng Qiu, Mathieu Tanneau, Pascal Van Hentenryck:
Dual Conic Proxy for Semidefinite Relaxation of AC Optimal Power Flow. CoRR abs/2502.06978 (2025) - [i132]Fan Jiang, Xingpeng Li, Pascal Van Hentenryck:
A Deep Neural Network-based Frequency Predictor for Frequency-Constrained Optimal Power Flow. CoRR abs/2502.15641 (2025) - [i131]Miao Li, Michael Klamkin, Mathieu Tanneau, Reza Zandehshahvar, Pascal Van Hentenryck:
Conformal Prediction with Upper and Lower Bound Models. CoRR abs/2503.04071 (2025) - [i130]Vahid Eghbal Akhlaghi, Reza Zandehshahvar, Pascal Van Hentenryck:
PROPEL: Supervised and Reinforcement Learning for Large-Scale Supply Chain Planning. CoRR abs/2504.07383 (2025) - [i129]Jorge A. Huertas, Pascal Van Hentenryck:
A Constraint Programming Model For Serial Batch Scheduling With Minimum Batch Size. CoRR abs/2504.08793 (2025) - [i128]Sikai Cheng, Amira Hijazi, Jeren Konak, Alan L. Erera, Pascal Van Hentenryck:
SPOT: Spatio-Temporal Pattern Mining and Optimization for Load Consolidation in Freight Transportation Networks. CoRR abs/2504.09680 (2025) - [i127]Lucas Kletzander, Tommaso Mannelli Mazzoli, Nysret Musliu, Pascal Van Hentenryck:
Integrating Column Generation and Large Neighborhood Search for Bus Driver Scheduling with Complex Break Constraints. CoRR abs/2505.02485 (2025) - [i126]Andrew W. Rosemberg, Joaquim Dias Garcia, Russell Bent, Pascal Van Hentenryck:
Sobolev Training of End-to-End Optimization Proxies. CoRR abs/2505.11342 (2025) - [i125]Tinghan Ye, Amira Hijazi, Pascal Van Hentenryck:
Conformal Predictive Distributions for Order Fulfillment Time Forecasting. CoRR abs/2505.17340 (2025) - [i124]Michael Klamkin, Arnaud Deza, Sikai Cheng, Haoruo Zhao, Pascal Van Hentenryck:
DualSchool: How Reliable are LLMs for Optimization Education? CoRR abs/2505.21775 (2025) - [i123]Michael Klamkin, Mathieu Tanneau, Pascal Van Hentenryck:
PGLearn - An Open-Source Learning Toolkit for Optimal Power Flow. CoRR abs/2505.22825 (2025) - 2024
- [j124]Pascal Van Hentenryck, Kevin Dalmeijer:
AI4OPT: AI Institute for Advances in Optimization. AI Mag. 45(1): 42-47 (2024) - [j123]Chungjae Lee, Kevin Dalmeijer, Pascal Van Hentenryck, Peibo Zhang:
Optimizing Autonomous Transfer Hub Networks: Quantifying the potential impact of self-driving trucks. EURO J. Transp. Logist. 13: 100141 (2024) - [j122]Byron Tasseff, Russell Bent, Carleton Coffrin, Clayton Barrows, Devon Sigler, Jonathan J. Stickel, Ahmed S. Zamzam, Yang Liu, Pascal Van Hentenryck:
Polyhedral Relaxations for Optimal Pump Scheduling of Potable Water Distribution Networks. INFORMS J. Comput. 36(4): 1040-1063 (2024) - [j121]Hongzhao Guan, Beste Basciftci, Pascal Van Hentenryck:
Path-Based Formulations for the Design of On-demand Multimodal Transit Systems with Adoption Awareness. INFORMS J. Comput. 36(6): 1459-1480 (2024) - [j120]Pascal Van Hentenryck:
Constraint Programming. Rev. Ouverte Intell. Artif. 5(2-3): 139-159 (2024) - [j119]Tejas Santanam, Anthony Trasatti, Pascal Van Hentenryck, Hanyu Zhang:
Public Transit for Special Events: Ridership Prediction and Train Scheduling. IEEE Trans. Intell. Transp. Syst. 25(8): 8387-8403 (2024) - [c239]Saswat Das, Keyu Zhu, Christine Task, Pascal Van Hentenryck, Ferdinando Fioretto:
Finding ε and δ of Traditional Disclosure Control Systems. AAAI 2024: 22013-22020 - [c238]Jihye Jung, Kevin Dalmeijer, Pascal Van Hentenryck:
A New Optimization Model for Multiple-Control Toffoli Quantum Circuit Design. CP 2024: 16:1-16:20 - [c237]Haoruo Zhao, Hassan L. Hijazi, Haydn Thomas Jones, Juston Moore, Mathieu Tanneau, Pascal Van Hentenryck:
Bound Tightening Using Rolling-Horizon Decomposition for Neural Network Verification. CPAIOR (2) 2024: 289-303 - [c236]James Kotary, Vincenzo Di Vito, Jacob Christopher, Pascal Van Hentenryck, Ferdinando Fioretto:
Learning Joint Models of Prediction and Optimization. ECAI 2024: 2476-2483 - [c235]Tommaso Mannelli Mazzoli, Lucas Kletzander, Pascal Van Hentenryck, Nysret Musliu:
Investigating Large Neighbourhood Search for Bus Driver Scheduling. ICAPS 2024: 360-368 - [c234]Wenbo Chen, Haoruo Zhao, Mathieu Tanneau, Pascal Van Hentenryck:
Compact Optimality Verification for Optimization Proxies. ICML 2024 - [c233]Cuong Tran, Keyu Zhu, Pascal Van Hentenryck, Ferdinando Fioretto:
On the Effects of Fairness to Adversarial Vulnerability. IJCAI 2024: 521-529 - [c232]Eleni Bardaka, Pascal Van Hentenryck, Crystal Chen Lee, Christopher B. Mayhorn, Kai Monast, Samitha Samaranayake, Munindar P. Singh:
Empathy and AI: Achieving Equitable Microtransit for Underserved Communities. IJCAI 2024: 7179-7187 - [c231]Mathieu Tanneau, Pascal Van Hentenryck:
Dual Lagrangian Learning for Conic Optimization. NeurIPS 2024 - [i122]Jiawei Lu, Tinghan Ye, Wenbo Chen, Pascal Van Hentenryck:
Boosting Column Generation with Graph Neural Networks for Joint Rider Trip Planning and Crew Shift Scheduling. CoRR abs/2401.03692 (2024) - [i121]Michael Klamkin, Mathieu Tanneau, Pascal Van Hentenryck:
Dual Interior-Point Optimization Learning. CoRR abs/2402.02596 (2024) - [i120]Mathieu Tanneau, Pascal Van Hentenryck:
Dual Lagrangian Learning for Conic Optimization. CoRR abs/2402.03086 (2024) - [i119]Jihye Jung, Kevin Dalmeijer, Pascal Van Hentenryck:
A New Optimization Model for Multiple-Control Toffoli Quantum Circuit Design. CoRR abs/2404.14384 (2024) - [i118]Rahul Nellikkath, Mathieu Tanneau, Pascal Van Hentenryck, Spyros Chatzivasileiadis:
Scalable Exact Verification of Optimization Proxies for Large-Scale Optimal Power Flow. CoRR abs/2405.06109 (2024) - [i117]Andrew W. Rosemberg, Alexandre Street, Davi Michel Valladão, Pascal Van Hentenryck:
Two-Stage ML-Guided Decision Rules for Sequential Decision Making under Uncertainty. CoRR abs/2405.14973 (2024) - [i116]Wenbo Chen, Haoruo Zhao, Mathieu Tanneau, Pascal Van Hentenryck:
Compact Optimality Verification for Optimization Proxies. CoRR abs/2405.21023 (2024) - [i115]Sheng Chai, Gus Chadney, Charlot Avery, Phil Grunewald, Pascal Van Hentenryck, Priya L. Donti:
Defining 'Good': Evaluation Framework for Synthetic Smart Meter Data. CoRR abs/2407.11785 (2024) - [i114]Hongzhao Guan, Nabeel Gillani, Tyler Simko, Jasmine Mangat, Pascal Van Hentenryck:
Contextual Stochastic Optimization for School Desegregation Policymaking. CoRR abs/2408.12572 (2024) - [i113]James Kotary, Vincenzo Di Vito, Jacob Christopher, Pascal Van Hentenryck, Ferdinando Fioretto:
Learning Joint Models of Prediction and Optimization. CoRR abs/2409.04898 (2024) - [i112]Hanyu Zhang, Reza Zandehshahvar, Mathieu Tanneau, Pascal Van Hentenryck:
Weather-Informed Probabilistic Forecasting and Scenario Generation in Power Systems. CoRR abs/2409.07637 (2024) - [i111]Jorge A. Huertas, Pascal Van Hentenryck:
Parallel Batch Scheduling With Incompatible Job Families Via Constraint Programming. CoRR abs/2410.11981 (2024) - [i110]Ferdinando Fioretto, Pascal Van Hentenryck, Juba Ziani:
Differential Privacy Overview and Fundamental Techniques. CoRR abs/2411.04710 (2024) - [i109]Thomas Bruys, Reza Zandehshahvar, Amira Hijazi, Pascal Van Hentenryck:
Confidence-Aware Deep Learning for Load Plan Adjustments in the Parcel Service Industry. CoRR abs/2411.17502 (2024) - [i108]Kevin Wu, Rabab Haider, Pascal Van Hentenryck:
High-Spatial Resolution Transmission and Storage Expansion Planning for High Renewable Grids: A Case Study. CoRR abs/2412.03799 (2024) - 2023
- [j118]Beste Basciftci, Pascal Van Hentenryck:
Capturing Travel Mode Adoption in Designing On-Demand Multimodal Transit Systems. Transp. Sci. 57(2): 351-375 (2023) - [j117]Terrence W. K. Mak, Minas Chatzos, Mathieu Tanneau, Pascal Van Hentenryck:
Learning Regionally Decentralized AC Optimal Power Flows With ADMM. IEEE Trans. Smart Grid 14(6): 4863-4876 (2023) - [c230]Seonho Park, Pascal Van Hentenryck:
Self-Supervised Primal-Dual Learning for Constrained Optimization. AAAI 2023: 4052-4060 - [c229]Chungjae Lee, Wirattawut Boonbandansook, Vahid Eghbal Akhlaghi, Kevin Dalmeijer, Pascal Van Hentenryck:
Constraint Programming to Improve Hub Utilization in Autonomous Transfer Hub Networks (Short Paper). CP 2023: 46:1-46:11 - [c228]Cuong Tran, Keyu Zhu, Ferdinando Fioretto, Pascal Van Hentenryck:
SF-PATE: Scalable, Fair, and Private Aggregation of Teacher Ensembles. IJCAI 2023: 501-509 - [c227]Enpeng Yuan, Wenbo Chen, Pascal Van Hentenryck:
Reinforcement Learning from Optimization Proxy for Ride-Hailing Vehicle Relocation (Extended Abstract). IJCAI 2023: 6990-6994 - [i107]Seonho Park, Wenbo Chen, Terrence W. K. Mak, Pascal Van Hentenryck:
Compact Optimization Learning for AC Optimal Power Flow. CoRR abs/2301.08840 (2023) - [i106]Wenbo Chen, Reem Khir, Pascal Van Hentenryck:
Two-Stage Learning For the Flexible Job Shop Scheduling Problem. CoRR abs/2301.09703 (2023) - [i105]Keyu Zhu, Ferdinando Fioretto, Pascal Van Hentenryck, Saswat Das, Christine Task:
Privacy and Bias Analysis of Disclosure Avoidance Systems. CoRR abs/2301.12204 (2023) - [i104]Tejas Santanam, Anthony Trasatti, Hanyu Zhang, Connor Riley, Pascal Van Hentenryck, Ramayya Krishnan:
Changes in Commuter Behavior from COVID-19 Lockdowns in the Atlanta Metropolitan Area. CoRR abs/2302.13512 (2023) - [i103]Nabeel Gillani, Doug Beeferman, Christine Vega-Pourheydarian, Cassandra Overney, Pascal Van Hentenryck, Deb Roy:
Redrawing attendance boundaries to promote racial and ethnic diversity in elementary schools. CoRR abs/2303.07603 (2023) - [i102]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:
Artificial Intelligence/Operations Research Workshop 2 Report Out. CoRR abs/2304.04677 (2023) - [i101]Wenbo Chen, Mathieu Tanneau, Pascal Van Hentenryck:
End-to-End Feasible Optimization Proxies for Large-Scale Economic Dispatch. CoRR abs/2304.11726 (2023) - [i100]Keyu Zhu, Nabeel Gillani, Pascal Van Hentenryck:
Impacts of Differential Privacy on Fostering more Racially and Ethnically Diverse Elementary Schools. CoRR abs/2305.07762 (2023) - [i99]Tejas Santanam, Pascal Van Hentenryck:
Modern Constraint Programming Education: Lessons for the Future. CoRR abs/2306.13676 (2023) - [i98]Pascal Van Hentenryck, Kevin Dalmeijer:
AI4OPT: AI Institute for Advances in Optimization. CoRR abs/2307.02671 (2023) - [i97]Ritesh Ojha, Wenbo Chen, Hanyu Zhang, Reem Khir, Alan L. Erera, Pascal Van Hentenryck:
Optimization-based Learning for Dynamic Load Planning in Trucking Service Networks. CoRR abs/2307.04050 (2023) - [i96]Pascal Van Hentenryck, Connor Riley, Anthony Trasatti, Hongzhao Guan, Tejas Santanam, Jorge A. Huertas, Kevin Dalmeijer, Kari Watkins, Juwon Drake, Samson Baskin:
MARTA Reach: Piloting an On-Demand Multimodal Transit System in Atlanta. CoRR abs/2308.02681 (2023) - [i95]Hanyu Zhang, Mathieu Tanneau, Chaofan Huang, V. Roshan Joseph, Shangkun Wang, Pascal Van Hentenryck:
Asset Bundling for Wind Power Forecasting. CoRR abs/2309.16492 (2023) - [i94]Kevin Wu, Mathieu Tanneau, Pascal Van Hentenryck:
Strong Mixed-Integer Formulations for Transmission Expansion Planning with FACTS Devices. CoRR abs/2310.02347 (2023) - [i93]Guancheng Qiu, Mathieu Tanneau, Pascal Van Hentenryck:
Dual Conic Proxies for AC Optimal Power Flow. CoRR abs/2310.02969 (2023) - [i92]Andrew W. Rosemberg, Mathieu Tanneau, Bruno Fanzeres, Joaquim Dias Garcia, Pascal Van Hentenryck:
Learning Optimal Power Flow Value Functions with Input-Convex Neural Networks. CoRR abs/2310.04605 (2023) - [i91]James Kotary, Vincenzo Di Vito, Jacob Christopher, Pascal Van Hentenryck, Ferdinando Fioretto:
Predict-Then-Optimize by Proxy: Learning Joint Models of Prediction and Optimization. CoRR abs/2311.13087 (2023) - [i90]Seonho Park, Pascal Van Hentenryck:
Self-Supervised Learning for Large-Scale Preventive Security Constrained DC Optimal Power Flow. CoRR abs/2311.18072 (2023) - 2022
- [j116]Geunyeong Byeon, Pascal Van Hentenryck:
Benders Subproblem Decomposition for Bilevel Problems with Convex Follower. INFORMS J. Comput. 34(3): 1749-1767 (2022) - [j115]Enpeng Yuan, Wenbo Chen, Pascal Van Hentenryck:
Reinforcement Learning from Optimization Proxy for Ride-Hailing Vehicle Relocation. J. Artif. Intell. Res. 75: 985-1002 (2022) - [j114]Shixiang Zhu, Ruyi Ding, Minghe Zhang, Pascal Van Hentenryck, Yao Xie:
Spatio-Temporal Point Processes With Attention for Traffic Congestion Event Modeling. IEEE Trans. Intell. Transp. Syst. 23(7): 7298-7309 (2022) - [c226]James Kotary, Ferdinando Fioretto, Pascal Van Hentenryck:
Fast Approximations for Job Shop Scheduling: A Lagrangian Dual Deep Learning Method. AAAI 2022: 7239-7246 - [c225]Augustin Delecluse, Pierre Schaus, Pascal Van Hentenryck:
Sequence Variables for Routing Problems. CP 2022: 19:1-19:17 - [c224]Jorge A. Huertas, Pascal Van Hentenryck:
Large-scale Zone-based Evacuation Planning: Generating Convergent and Non-Preemptive Evacuation Plans via Column Generation. HICSS 2022: 1-10 - [c223]Keyu Zhu, Ferdinando Fioretto, Pascal Van Hentenryck:
Post-processing of Differentially Private Data: A Fairness Perspective. IJCAI 2022: 4029-4035 - [c222]Ferdinando Fioretto, Cuong Tran, Pascal Van Hentenryck, Keyu Zhu:
Differential Privacy and Fairness in Decisions and Learning Tasks: A Survey. IJCAI 2022: 5470-5477 - [c221]James Kotary, Ferdinando Fioretto, Pascal Van Hentenryck, Ziwei Zhu:
End-to-End Learning for Fair Ranking Systems. WWW 2022: 3520-3530 - [i89]Keyu Zhu, Ferdinando Fioretto, Pascal Van Hentenryck:
Post-processing of Differentially Private Data: A Fairness Perspective. CoRR abs/2201.09425 (2022) - [i88]Ferdinando Fioretto, Cuong Tran, Pascal Van Hentenryck, Keyu Zhu:
Differential Privacy and Fairness in Decisions and Learning Tasks: A Survey. CoRR abs/2202.08187 (2022) - [i87]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:
Risk-Aware Control and Optimization for High-Renewable Power Grids. CoRR abs/2204.00950 (2022) - [i86]Cuong Tran, Keyu Zhu, Ferdinando Fioretto, Pascal Van Hentenryck:
SF-PATE: Scalable, Fair, and Private Aggregation of Teacher Ensembles. CoRR abs/2204.05157 (2022) - [i85]Terrence W. K. Mak, Minas Chatzos, Mathieu Tanneau, Pascal Van Hentenryck:
Learning Regionally Decentralized AC Optimal Power Flows with ADMM. CoRR abs/2205.03787 (2022) - [i84]Michael Klamkin, Mathieu Tanneau, Terrence W. K. Mak, Pascal Van Hentenryck:
Active Bucketized Learning for ACOPF Optimization Proxies. CoRR abs/2208.07497 (2022) - [i83]Seonho Park, Pascal Van Hentenryck:
Self-Supervised Primal-Dual Learning for Constrained Optimization. CoRR abs/2208.09046 (2022) - [i82]Oliver Stover, Pranav Karve, Sankaran Mahadevan, Wenbo Chen, Haoruo Zhao, Mathieu Tanneau, Pascal Van Hentenryck:
Just-In-Time Learning for Operational Risk Assessment in Power Grids. CoRR abs/2209.12762 (2022) - [i81]Cuong Tran, Keyu Zhu, Ferdinando Fioretto, Pascal Van Hentenryck:
Fairness Increases Adversarial Vulnerability. CoRR abs/2211.11835 (2022) - [i80]Seonho Park, Wenbo Chen, Dahye Han, Mathieu Tanneau, Pascal Van Hentenryck:
Confidence-Aware Graph Neural Networks for Learning Reliability Assessment Commitments. CoRR abs/2211.15755 (2022) - 2021
- [j113]Ferdinando Fioretto, Pascal Van Hentenryck, Keyu Zhu:
Differential privacy of hierarchical Census data: An optimization approach. Artif. Intell. 296: 103475 (2021) - [j112]Pascal Van Hentenryck:
Technical perspective: Finding the sweet spot amid accuracy and performance. Commun. ACM 64(11): 120 (2021) - [j111]Franco Berbeglia, Gerardo Berbeglia, Pascal Van Hentenryck:
Market segmentation in online platforms. Eur. J. Oper. Res. 295(3): 1025-1041 (2021) - [j110]Laurent D. Michel, Pierre Schaus, Pascal Van Hentenryck:
MiniCP: a lightweight solver for constraint programming. Math. Program. Comput. 13(1): 133-184 (2021) - [j109]Mohd. Hafiz Hasan, Pascal Van Hentenryck:
Large-scale zone-based evacuation planning - Part I: Models and algorithms. Networks 77(1): 127-145 (2021) - [j108]Mohd. Hafiz Hasan, Pascal Van Hentenryck:
Large-scale zone-based evacuation planning, Part II: Macroscopic and microscopic evaluations. Networks 77(2): 341-358 (2021) - [c220]Cuong Tran, Ferdinando Fioretto, Pascal Van Hentenryck:
Differentially Private and Fair Deep Learning: A Lagrangian Dual Approach. AAAI 2021: 9932-9939 - [c219]Keyu Zhu, Pascal Van Hentenryck, Ferdinando Fioretto:
Bias and Variance of Post-processing in Differential Privacy. AAAI 2021: 11177-11184 - [c218]Lucas Kletzander, Nysret Musliu, Pascal Van Hentenryck:
Branch and Price for Bus Driver Scheduling with Complex Break Constraints. AAAI 2021: 11853-11861 - [c217]Cuong Tran, Ferdinando Fioretto, Pascal Van Hentenryck, Zhiyan Yao:
Decision Making with Differential Privacy under a Fairness Lens. IJCAI 2021: 560-566 - [c216]Enpeng Yuan, Pascal Van Hentenryck:
Real-Time Pricing Optimization for Ride-Hailing Quality of Service. IJCAI 2021: 3742-3748 - [c215]James Kotary, Ferdinando Fioretto, Pascal Van Hentenryck, Bryan Wilder:
End-to-End Constrained Optimization Learning: A Survey. IJCAI 2021: 4475-4482 - [c214]James Kotary, Ferdinando Fioretto, Pascal Van Hentenryck:
Learning Hard Optimization Problems: A Data Generation Perspective. NeurIPS 2021: 24981-24992 - [i79]Terrence W. K. Mak, Ferdinando Fioretto, Pascal Van Hentenryck:
Load Embeddings for Scalable AC-OPF Learning. CoRR abs/2101.03973 (2021) - [i78]Minas Chatzos, Terrence W. K. Mak, Pascal Van Hentenryck:
Spatial Network Decomposition for Fast and Scalable AC-OPF Learning. CoRR abs/2101.06768 (2021) - [i77]James Kotary, Ferdinando Fioretto, Pascal Van Hentenryck, Bryan Wilder:
End-to-End Constrained Optimization Learning: A Survey. CoRR abs/2103.16378 (2021) - [i76]Ferdinando Fioretto, Cuong Tran, Pascal Van Hentenryck:
Decision Making with Differential Privacy under a Fairness Lens. CoRR abs/2105.07513 (2021) - [i75]Enpeng Yuan, Pascal Van Hentenryck:
Learning Model-Based Vehicle-Relocation Decisions for Real-Time Ride-Sharing: Hybridizing Learning and Optimization. CoRR abs/2105.13461 (2021) - [i74]James Kotary, Ferdinando Fioretto, Pascal Van Hentenryck:
Learning Hard Optimization Problems: A Data Generation Perspective. CoRR abs/2106.02601 (2021) - [i73]Tejas Santanam, Anthony Trasatti, Pascal Van Hentenryck, Hanyu Zhang:
Public Transit for Special Events: Ridership Prediction and Train Optimization. CoRR abs/2106.05359 (2021) - [i72]James Kotary, Ferdinando Fioretto, Pascal Van Hentenryck:
Fast Approximations for Job Shop Scheduling: A Lagrangian Dual Deep Learning Method. CoRR abs/2110.06365 (2021) - [i71]Minas Chatzos, Mathieu Tanneau, Pascal Van Hentenryck:
Data-Driven Time Series Reconstruction for Modern Power Systems Research. CoRR abs/2110.13772 (2021) - [i70]Enpeng Yuan, Pascal Van Hentenryck:
Learning Model Predictive Controllers for Real-Time Ride-Hailing Vehicle Relocation and Pricing Decisions. CoRR abs/2111.03204 (2021) - [i69]James Kotary, Ferdinando Fioretto, Pascal Van Hentenryck, Ziwei Zhu:
End-to-end Learning for Fair Ranking Systems. CoRR abs/2111.10723 (2021) - [i68]Wenbo Chen, Seonho Park, Mathieu Tanneau, Pascal Van Hentenryck:
Learning Optimization Proxies for Large-Scale Security-Constrained Economic Dispatch. CoRR abs/2112.13469 (2021) - 2020
- [j107]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:
The Association for the Advancement of Artificial Intelligence 2020 Workshop Program. AI Mag. 41(4): 100-114 (2020) - [j106]Mohd. Hafiz Hasan, Pascal Van Hentenryck:
The flexible and real-time commute trip sharing problems. Constraints An Int. J. 25(3-4): 160-179 (2020) - [j105]Damla Kizilay, Pascal Van Hentenryck, Deniz Türsel Eliiyi:
Constraint programming models for integrated container terminal operations. Eur. J. Oper. Res. 286(3): 945-962 (2020) - [j104]Geunyeong Byeon, Pascal Van Hentenryck, Russell Bent, Harsha Nagarajan:
Communication-Constrained Expansion Planning for Resilient Distribution Systems. INFORMS J. Comput. 32(4): 968-985 (2020) - [j103]Edward Lam, Graeme Gange, Peter J. Stuckey, Pascal Van Hentenryck, Jip J. Dekker:
Nutmeg: a MIP and CP Hybrid Solver Using Branch-and-Check. Oper. Res. Forum 1(3) (2020) - [j102]Thomas Ying-Jeh Chen, Connor Riley, Pascal Van Hentenryck, Seth D. Guikema:
Optimizing inspection routes in pipeline networks. Reliab. Eng. Syst. Saf. 195: 106700 (2020) - [j101]Edward Lam, Pascal Van Hentenryck, Philip Kilby:
Joint Vehicle and Crew Routing and Scheduling. Transp. Sci. 54(2): 488-511 (2020) - [j100]Mohd. Hafiz Hasan, Pascal Van Hentenryck, Antoine Legrain:
The Commute Trip-Sharing Problem. Transp. Sci. 54(6): 1640-1675 (2020) - [j99]Ferdinando Fioretto, Terrence W. K. Mak, Pascal Van Hentenryck:
Differential Privacy for Power Grid Obfuscation. IEEE Trans. Smart Grid 11(2): 1356-1366 (2020) - [c213]Ferdinando Fioretto, Terrence W. K. Mak, Pascal Van Hentenryck:
Predicting AC Optimal Power Flows: Combining Deep Learning and Lagrangian Dual Methods. AAAI 2020: 630-637 - [c212]Vladimir Dvorkin, Pascal Van Hentenryck, Jalal Kazempour, Pierre Pinson:
Differentially Private Distributed Optimal Power Flow. CDC 2020: 2092-2097 - [c211]Beste Basciftci, Pascal Van Hentenryck:
Bilevel Optimization for On-Demand Multimodal Transit Systems. CPAIOR 2020: 52-68 - [c210]Kevin Dalmeijer, Pascal Van Hentenryck:
Transfer-Expanded Graphs for On-Demand Multimodal Transit Systems. CPAIOR 2020: 167-175 - [c209]Ferdinando Fioretto, Lesia Mitridati, Pascal Van Hentenryck:
Differential Privacy for Stackelberg Games. IJCAI 2020: 3480-3486 - [c208]Connor Riley, Pascal Van Hentenryck, Enpeng Yuan:
Real-Time Dispatching of Large-Scale Ride-Sharing Systems: Integrating Optimization, Machine Learning, and Model Predictive Control. IJCAI 2020: 4417-4423 - [c207]Ferdinando Fioretto, Pascal Van Hentenryck:
OptStream: Releasing Time Series Privately (Extended Abstract). IJCAI 2020: 5135-5139 - [c206]Ferdinando Fioretto, Pascal Van Hentenryck, Terrence W. K. Mak, Cuong Tran, Federico Baldo, Michele Lombardi:
Lagrangian Duality for Constrained Deep Learning. ECML/PKDD (5) 2020: 118-135 - [i67]Ferdinando Fioretto, Terrence W. K. Mak, Federico Baldo, Michele Lombardi, Pascal Van Hentenryck:
A Lagrangian Dual Framework for Deep Neural Networks with Constraints. CoRR abs/2001.09394 (2020) - [i66]Ferdinando Fioretto, Terrence W. K. Mak, Pascal Van Hentenryck:
Bilevel Optimization for Differentially Private Optimization. CoRR abs/2001.09508 (2020) - [i65]Ferdinando Fioretto, Lesia Mitridati, Pascal Van Hentenryck:
Differential Privacy for Stackelberg Games. CoRR abs/2002.00944 (2020) - [i64]Connor Riley, Pascal Van Hentenryck, Enpeng Yuan:
Real-Time Dispatching of Large-Scale Ride-Sharing Systems: Integrating Optimization, Machine Learning, and Model Predictive Control. CoRR abs/2003.10942 (2020) - [i63]Vladimir Dvorkin, Ferdinando Fioretto, Pascal Van Hentenryck, Jalal Kazempour, Pierre Pinson:
Differentially Private Optimal Power Flow for Distribution Grids. CoRR abs/2004.03921 (2020) - [i62]Lesia Mitridati, Pascal Van Hentenryck, Jalal Kazempour:
Electricity-Aware Heat Unit Commitment: A Bid-Validity Approach. CoRR abs/2005.03120 (2020) - [i61]Felipe Maldonado, Gerardo Berbeglia, Pascal Van Hentenryck:
Pricing under a multinomial logit model with non linear network effects. CoRR abs/2005.03352 (2020) - [i60]Shixiang Zhu, Ruyi Ding, Minghe Zhang, Pascal Van Hentenryck, Yao Xie:
Spatio-Temporal Point Processes with Attention for Traffic Congestion Event Modeling. CoRR abs/2005.08665 (2020) - [i59]Vladimir Dvorkin, Ferdinando Fioretto, Pascal Van Hentenryck, Jalal Kazempour, Pierre Pinson:
Differentially Private Convex Optimization with Feasibility Guarantees. CoRR abs/2006.12338 (2020) - [i58]Ferdinando Fioretto, Pascal Van Hentenryck, Keyu Zhu:
Differential Privacy of Hierarchical Census Data: An Optimization Approach. CoRR abs/2006.15673 (2020) - [i57]Minas Chatzos, Ferdinando Fioretto, Terrence W. K. Mak, Pascal Van Hentenryck:
High-Fidelity Machine Learning Approximations of Large-Scale Optimal Power Flow. CoRR abs/2006.16356 (2020) - [i56]Alexandre Velloso, Pascal Van Hentenryck:
Combining Deep Learning and Optimization for Security-Constrained Optimal Power Flow. CoRR abs/2007.07002 (2020) - [i55]Mohd. Hafiz Hasan, Pascal Van Hentenryck:
The Benefits of Autonomous Vehicles for Community-Based Trip Sharing. CoRR abs/2008.12800 (2020) - [i54]Cuong Tran, Ferdinando Fioretto, Pascal Van Hentenryck:
Differentially Private and Fair Deep Learning: A Lagrangian Dual Approach. CoRR abs/2009.12562 (2020) - [i53]Keyu Zhu, Pascal Van Hentenryck, Ferdinando Fioretto:
Bias and Variance of Post-processing in Differential Privacy. CoRR abs/2010.04327 (2020) - no results
2010 – 2019
- 2019
- [j98]Álvaro Flores, Gerardo Berbeglia, Pascal Van Hentenryck:
Assortment optimization under the Sequential Multinomial Logit Model. Eur. J. Oper. Res. 273(3): 1052-1064 (2019) - [j97]Terrence W. K. Mak, Pascal Van Hentenryck, Anatoly Zlotnik, Russell Bent:
Dynamic Compressor Optimization in Natural Gas Pipeline Systems. INFORMS J. Comput. 31(1): 40-65 (2019) - [j96]Ferdinando Fioretto, Pascal Van Hentenryck:
OptStream: Releasing Time Series Privately. J. Artif. Intell. Res. 65: 423-456 (2019) - [j95]Michael Chertkov, Mihailo R. Jovanovic, Bernard C. Lesieutre, Steven H. Low, Pascal Van Hentenryck, Louis Wehenkel:
Guest Editorial Special Issue on Analysis, Control, and Optimization of Energy Networks. IEEE Trans. Control. Netw. Syst. 6(3): 922-924 (2019) - [j94]Arthur Mahéo, Philip Kilby, Pascal Van Hentenryck:
Benders Decomposition for the Design of a Hub and Shuttle Public Transit System. Transp. Sci. 53(1): 77-88 (2019) - [c205]Ferdinando Fioretto, Pascal Van Hentenryck:
Privacy-Preserving Federated Data Sharing. AAMAS 2019: 638-646 - [c204]Ferdinando Fioretto, Pascal Van Hentenryck:
Differential Privacy of Hierarchical Census Data: An Optimization Approach. CP 2019: 639-655 - [c203]Connor Riley, Antoine Legrain, Pascal Van Hentenryck:
Column Generation for Real-Time Ride-Sharing Operations. CPAIOR 2019: 472-487 - [c202]Ferdinando Fioretto, Terrence W. K. Mak, Pascal Van Hentenryck:
Privacy-Preserving Obfuscation of Critical Infrastructure Networks. IJCAI 2019: 1086-1092 - [i52]Ferdinando Fioretto, Terrence W. K. Mak, Pascal Van Hentenryck:
Differential Privacy for Power Grid Obfuscation. CoRR abs/1901.06949 (2019) - [i51]Xilei Zhao, Xiang Yan, Pascal Van Hentenryck:
Modeling Heterogeneity in Mode-Switching Behavior Under a Mobility-on-Demand Transit System: An Interpretable Machine Learning Approach. CoRR abs/1902.02904 (2019) - [i50]Mohd. Hafiz Hasan, Pascal Van Hentenryck, Antoine Legrain:
The Commute Trip Sharing Problem. CoRR abs/1904.11017 (2019) - [i49]Ferdinando Fioretto, Terrence W. K. Mak, Pascal Van Hentenryck:
Privacy-Preserving Obfuscation of Critical Infrastructure Networks. CoRR abs/1905.09778 (2019) - [i48]Ferdinando Fioretto, Terrence W. K. Mak, Pascal Van Hentenryck:
Predicting AC Optimal Power Flows: Combining Deep Learning and Lagrangian Dual Methods. CoRR abs/1909.10461 (2019) - [i47]Terrence W. K. Mak, Ferdinando Fioretto, Pascal Van Hentenryck:
Privacy-Preserving Obfuscation for Distributed Power Systems. CoRR abs/1910.04250 (2019) - [i46]William Espinoza, Matthew Howard, Julia Lane, Pascal Van Hentenryck:
Shared E-scooters: Business, Pleasure, or Transit? CoRR abs/1910.05807 (2019) - [i45]Lesia Mitridati, Pascal Van Hentenryck, Jalal Kazempour:
A Bid-Validity Mechanism for Sequential Heat and Electricity Market Clearing. CoRR abs/1910.08617 (2019) - [i44]Xilei Zhao, Zhengze Zhou, Xiang Yan, Pascal Van Hentenryck:
Distilling Black-Box Travel Mode Choice Model for Behavioral Interpretation. CoRR abs/1910.13930 (2019) - [i43]Xinyu Liu, Pascal Van Hentenryck, Xilei Zhao:
Optimization Models for Estimating Transit Network Origin-Destination Flows with AVL/APC Data. CoRR abs/1911.05777 (2019) - [i42]Ferdinando Fioretto, Lesia Mitridati, Pascal Van Hentenryck:
PPSM: A Privacy-Preserving Stackelberg Mechanism: Privacy Guarantees for the Coordination of Sequential Electricity and Gas Markets. CoRR abs/1911.10178 (2019) - 2018
- [j93]Felipe Maldonado, Pascal Van Hentenryck, Gerardo Berbeglia, Franco Berbeglia:
Popularity signals in trial-offer markets with social influence and position bias. Eur. J. Oper. Res. 266(2): 775-793 (2018) - [c201]Mohd. Hafiz Hasan, Pascal Van Hentenryck, Ceren Budak, Jiayu Chen, Chhavi Chaudhry:
Community-Based Trip Sharing for Urban Commuting. AAAI 2018: 6589-6597 - [c200]Ferdinando Fioretto, Chansoo Lee, Pascal Van Hentenryck:
Constrained-Based Differential Privacy for Mobility Services. AAMAS 2018: 1405-1413 - [c199]Ferdinando Fioretto, Pascal Van Hentenryck:
Constrained-Based Differential Privacy: Releasing Optimal Power Flow Benchmarks Privately - Releasing Optimal Power Flow Benchmarks Privately. CPAIOR 2018: 215-231 - [c198]Damla Kizilay, Deniz Türsel Eliiyi, Pascal Van Hentenryck:
Constraint and Mathematical Programming Models for Integrated Port Container Terminal Operations. CPAIOR 2018: 344-360 - [c197]Russell Bent, Seth Blumsack, Pascal Van Hentenryck, Conrado Borraz-Sánchez, Scott Backhaus:
Joint Expansion Planning for Natural Gas and Electric Transmission with Endogenous Market Feedbacks. HICSS 2018: 1-11 - [r1]Laurent Michel, Pascal Van Hentenryck:
Constraint-Based Local Search. Handbook of Heuristics 2018: 223-260 - [i41]Ferdinando Fioretto, Pascal Van Hentenryck:
Differential Private Stream Processing of Energy Consumption. CoRR abs/1808.01949 (2018) - [i40]Xilei Zhao, Xiang Yan, Alan Yu, Pascal Van Hentenryck:
Modeling Stated Preference for Mobility-on-Demand Transit: A Comparison of Machine Learning and Logit Models. CoRR abs/1811.01315 (2018) - 2017
- [j92]Krishnamurthy Dvijotham, Michael Chertkov, Pascal Van Hentenryck, Marc Vuffray, Sidhant Misra:
Graphical models for optimal power flow. Constraints An Int. J. 22(1): 24-49 (2017) - [j91]Laurent D. Michel, Pascal Van Hentenryck:
A microkernel architecture for constraint programming. Constraints An Int. J. 22(2): 107-151 (2017) - [j90]Hassan L. Hijazi, Carleton Coffrin, Pascal Van Hentenryck:
Convex quadratic relaxations for mixed-integer nonlinear programs in power systems. Math. Program. Comput. 9(3): 321-367 (2017) - [c196]Franco Berbeglia, Pascal Van Hentenryck:
Taming the Matthew Effect in Online Markets with Social Influence. AAAI 2017: 10-16 - [c195]Terrence W. K. Mak, Pascal Van Hentenryck, Ian A. Hiskens:
A nonlinear optimization model for transient stable line switching. ACC 2017: 2085-2092 - [c194]Mohd. Hafiz Hasan, Pascal Van Hentenryck:
A Column-Generation Algorithm for Evacuation Planning with Elementary Paths. CP 2017: 549-564 - [c193]Edward Lam, Pascal Van Hentenryck:
Branch-and-Check with Explanations for the Vehicle Routing Problem with Time Windows. CP 2017: 579-595 - [c192]Marian-Andrei Rizoiu, Lexing Xie, Scott Sanner, Manuel Cebrián, Honglin Yu, Pascal Van Hentenryck:
Expecting to be HIP: Hawkes Intensity Processes for Social Media Popularity. WWW 2017: 735-744 - [c191]Andrés Abeliuk, Gerardo Berbeglia, Pascal Van Hentenryck, Tad Hogg, Kristina Lerman:
Taming the Unpredictability of Cultural Markets with Social Influence. WWW 2017: 745-754 - [i39]Michael Chertkov, Sidhant Misra, Marc Vuffray, Dvijotham Krishnamurty, Pascal Van Hentenryck:
Graphical Models and Belief Propagation-hierarchy for Optimal Physics-Constrained Network Flows. CoRR abs/1702.01890 (2017) - [i38]Harsha Nagarajan, Russell Bent, Pascal Van Hentenryck, Scott Backhaus, Emre Yamangil:
Resilient Transmission Grid Design: AC Relaxation vs. DC approximation. CoRR abs/1703.05893 (2017) - [i37]Álvaro Flores, Gerardo Berbeglia, Pascal Van Hentenryck:
Assortment Optimization under the General Luce Model. CoRR abs/1706.08599 (2017) - [i36]Álvaro Flores, Gerardo Berbeglia, Pascal Van Hentenryck:
Assortment Optimization under the Sequential Multinomial Logit Model. CoRR abs/1707.02572 (2017) - [i35]Damla Kizilay, Deniz Türsel Eliiyi, Pascal Van Hentenryck:
Constraint and Mathematical Programming Models for Integrated Port Container Terminal Operations. CoRR abs/1712.05302 (2017) - 2016
- [j89]Andrés Abeliuk, Gerardo Berbeglia, Manuel Cebrián, Pascal Van Hentenryck:
Assortment optimization under a multinomial logit model with position bias and social influence. 4OR 14(1): 57-75 (2016) - [j88]Edward Lam, Pascal Van Hentenryck:
A branch-and-price-and-check model for the vehicle routing problem with location congestion. Constraints An Int. J. 21(3): 394-412 (2016) - [j87]Hoong Chuin Lau, Günther R. Raidl, Pascal Van Hentenryck:
New developments in metaheuristics and their applications - Selected extended contributions from the 10th Metaheuristics International Conference (MIC 2013). J. Heuristics 22(4): 359-363 (2016) - [j86]Conrado Borraz-Sánchez, Russell Bent, Scott Backhaus, Hassan L. Hijazi, Pascal Van Hentenryck:
Convex Relaxations for Gas Expansion Planning. INFORMS J. Comput. 28(4): 645-656 (2016) - [c190]Kanal Kumar, Julia Romanski, Pascal Van Hentenryck:
Optimizing Infrastructure Enhancements for Evacuation Planning. AAAI 2016: 3864-3870 - [c189]Julia Romanski, Pascal Van Hentenryck:
Benders Decomposition for Large-Scale Prescriptive Evacuations. AAAI 2016: 3894-3900 - [c188]Tommaso Urli, Jana Brotánková, Philip Kilby, Pascal Van Hentenryck:
Intelligent Habitat Restoration Under Uncertainty. AAAI 2016: 3908-3914 - [c187]Terrence W. K. Mak, Pascal Van Hentenryck, Anatoly Zlotnik, Hassan L. Hijazi, Russell Bent:
Efficient dynamic compressor optimization in natural gas transmission systems. ACC 2016: 7484-7491 - [c186]Daniel Fontaine, Laurent D. Michel, Pascal Van Hentenryck:
Parallel Composition of Scheduling Solvers. CPAIOR 2016: 159-169 - [c185]Byron Tasseff, Russell Bent, Pascal Van Hentenryck:
Optimal Flood Mitigation over Flood Propagation Approximations. CPAIOR 2016: 358-373 - [c184]Conrado Borraz-Sánchez, Russell Bent, Scott Backhaus, Seth Blumsack, Hassan L. Hijazi, Pascal Van Hentenryck:
Convex Optimization for Joint Expansion Planning of Natural Gas and Power Systems. HICSS 2016: 2536-2545 - [c183]Pascal Van Hentenryck, Andrés Abeliuk, Franco Berbeglia, Felipe Maldonado, Gerardo Berbeglia:
Aligning Popularity and Quality in Online Cultural Markets. ICWSM 2016: 398-407 - [c182]Andrés Abeliuk, Haris Aziz, Gerardo Berbeglia, Serge Gaspers, Petr Kalina, Nicholas Mattei, Dominik Peters, Paul Stursberg, Pascal Van Hentenryck, Toby Walsh:
Interdependent Scheduling Games. IJCAI 2016: 2-9 - [c181]Andrés Abeliuk, Gerardo Berbeglia, Felipe Maldonado, Pascal Van Hentenryck:
Asymptotic Optimality of Myopic Optimization in Trial-Offer Markets with Social Influence. IJCAI 2016: 2458-2464 - [c180]Carleton Coffrin, Hassan L. Hijazi, Pascal Van Hentenryck:
Network flow and copper plate relaxations for AC transmission systems. PSCC 2016: 1-8 - [c179]Hassan L. Hijazi, Carleton Coffrin, Pascal Van Hentenryck:
Polynomial SDP cuts for Optimal Power Flow. PSCC 2016: 1-7 - [c178]Harsha Nagarajan, Emre Yamangil, Russell Bent, Pascal Van Hentenryck, Scott Backhaus:
Optimal Resilient transmission Grid Design. PSCC 2016: 1-7 - [i34]Arthur Mahéo, Philip Kilby, Pascal Van Hentenryck:
Benders Decomposition for the Design of a Hub and Shuttle Public Transit System. CoRR abs/1601.00367 (2016) - [i33]Marian-Andrei Rizoiu, Lexing Xie, Scott Sanner, Manuel Cebrián, Honglin Yu, Pascal Van Hentenryck:
Can this video be promoted? - Endogenous and exogenous popularity processes in social media. CoRR abs/1602.06033 (2016) - [i32]Andrés Abeliuk, Haris Aziz, Gerardo Berbeglia, Serge Gaspers, Petr Kalina, Nicholas Mattei, Dominik Peters, Paul Stursberg, Pascal Van Hentenryck, Toby Walsh:
Interdependent Scheduling Games. CoRR abs/1605.09497 (2016) - [i31]Krishnamurthy Dvijotham, Pascal Van Hentenryck, Michael Chertkov, Sidhant Misra, Marc Vuffray:
Graphical Models for Optimal Power Flow. CoRR abs/1606.06512 (2016) - [i30]Pascal Van Hentenryck, Álvaro Flores, Gerardo Berbeglia:
Trial-Offer Markets with Continuation. CoRR abs/1610.01929 (2016) - 2015
- [j85]Victor Pillac, Manuel Cebrián, Pascal Van Hentenryck:
A column-generation approach for joint mobilization and evacuation planning. Constraints An Int. J. 20(3): 285-303 (2015) - [j84]Andrés Abeliuk, Gerardo Berbeglia, Pascal Van Hentenryck:
Bargaining Mechanisms for One-Way Games. Games 6(3): 347-367 (2015) - [j83]Pascal Van Hentenryck, Carleton Coffrin:
Transmission system repair and restoration. Math. Program. 151(1): 347-373 (2015) - [j82]Sébastien Mouthuy, Florence Massen, Yves Deville, Pascal Van Hentenryck:
A Multistage Very Large-Scale Neighborhood Search for the Vehicle Routing Problem with Soft Time Windows. Transp. Sci. 49(2): 223-238 (2015) - [c177]Hassan L. Hijazi, Terrence W. K. Mak, Pascal Van Hentenryck:
Power System Restoration With Transient Stability. AAAI 2015: 658-664 - [c176]Caroline Even, Victor Pillac, Pascal Van Hentenryck:
Convergent Plans for Large-Scale Evacuations. AAAI 2015: 1121-1127 - [c175]Michela Milano, Pascal Van Hentenryck:
Emerging Architectures for Global System Science. AAAI 2015: 4042-4046 - [c174]Carleton Coffrin, Hassan L. Hijazi, Pascal Van Hentenryck:
Strengthening Convex Relaxations with Bound Tightening for Power Network Optimization. CP 2015: 39-57 - [c173]Caroline Even, Andreas Schutt, Pascal Van Hentenryck:
A Constraint Programming Approach for Non-preemptive Evacuation Scheduling. CP 2015: 574-591 - [c172]Edward Lam, Pascal Van Hentenryck, Philip Kilby:
Joint Vehicle and Crew Routing and Scheduling. CP 2015: 654-670 - [c171]Andrés Abeliuk, Gerardo Berbeglia, Pascal Van Hentenryck:
A Bargaining Mechanism for One-Way Games. IJCAI 2015: 440-446 - [i29]Carleton Coffrin, Hassan L. Hijazi, Pascal Van Hentenryck:
The QC Relaxation: Theoretical and Computational Results on Optimal Power Flow. CoRR abs/1502.07847 (2015) - [i28]Yury Kryvasheyeu, Haohui Chen, Nick Obradovich, Esteban Moro Egido, Pascal Van Hentenryck, James H. Fowler, Manuel Cebrián:
Nowcasting Disaster Damage. CoRR abs/1504.06827 (2015) - [i27]Pascal Van Hentenryck, Andrés Abeliuk, Franco Berbeglia, Gerardo Berbeglia:
On the Optimality and Predictability of Cultural Markets with Social Influence. CoRR abs/1505.02469 (2015) - [i26]Caroline Even, Andreas Schutt, Pascal Van Hentenryck:
A Constraint Programming Approach for Non-Preemptive Evacuation Scheduling. CoRR abs/1505.02487 (2015) - [i25]Carleton Coffrin, Hassan L. Hijazi, Pascal Van Hentenryck:
DistFlow Extensions for AC Transmission Systems. CoRR abs/1506.04773 (2015) - [i24]Carleton Coffrin, Hassan L. Hijazi, Pascal Van Hentenryck:
Network Flow and Copper Plate Relaxations for AC Transmission Systems. CoRR abs/1506.05202 (2015) - [i23]Conrado Borraz-Sánchez, Russell Bent, Scott Backhaus, Hassan L. Hijazi, Pascal Van Hentenryck:
Convex Relaxations for Gas Expansion Planning. CoRR abs/1506.07214 (2015) - [i22]Karsten Lehmann, Alban Grastien, Pascal Van Hentenryck:
The Complexity of Switching and FACTS Maximum-Potential-Flow Problems. CoRR abs/1507.04820 (2015) - [i21]Andrés Abeliuk, Gerardo Berbeglia, Pascal Van Hentenryck:
Bargaining Mechanisms for One-Way Games. CoRR abs/1507.07152 (2015) - [i20]Franco Berbeglia, Gerardo Berbeglia, Pascal Van Hentenryck:
The Benefits of Segmentation in Trial-Offer Markets with Social Influence and Position Bias. CoRR abs/1511.00750 (2015) - [i19]Daniel Guimarans, Daniel Harabor, Pascal Van Hentenryck:
Simulation and Analysis of Container Freight Train Operations at Port Botany. CoRR abs/1512.03476 (2015) - [i18]Felipe Maldonado, Pascal Van Hentenryck, Gerardo Berbeglia, Franco Berbeglia:
Popularity Signals in Trial-Offer Markets. CoRR abs/1512.07251 (2015) - 2014
- [j81]Jean-Baptiste Mairy, Pascal Van Hentenryck, Yves Deville:
Optimal and efficient filtering algorithms for table constraints. Constraints An Int. J. 19(1): 77-120 (2014) - [j80]Michela Milano, Pascal Van Hentenryck:
Looking into the crystal-ball: a bright future for CP. Constraints An Int. J. 19(2): 121-125 (2014) - [j79]Maria Garcia de la Banda, Peter J. Stuckey, Pascal Van Hentenryck, Mark Wallace:
The future of optimization technology. Constraints An Int. J. 19(2): 126-138 (2014) - [j78]Yasemin Arda, Yves Crama, David Kronus, Thierry Pironet, Pascal Van Hentenryck:
Multi-period vehicle loading with stochastic release dates. EURO J. Transp. Logist. 3(2): 93-119 (2014) - [j77]Carleton Coffrin, Pascal Van Hentenryck:
A Linear-Programming Approximation of AC Power Flows. INFORMS J. Comput. 26(4): 718-734 (2014) - [c170]Nicolas Beldiceanu, Pierre Flener, Justin Pearson, Pascal Van Hentenryck:
Propagating Regular Counting Constraints. AAAI 2014: 2616-2622 - [c169]Andrés Abeliuk, Gerardo Berbeglia, Pascal Van Hentenryck:
One-way games. AAMAS 2014: 1519-1520 - [c168]Daniel Fontaine, Laurent D. Michel, Pascal Van Hentenryck:
Constraint-Based Lagrangian Relaxation. CP 2014: 324-339 - [c167]Pascal Van Hentenryck, Laurent D. Michel:
Domain Views for Constraint Programming. CP 2014: 705-720 - [c166]Caroline Even, Victor Pillac, Pascal Van Hentenryck:
NICTA Evacuation Planner: Actionable Evacuation Plans with Contraflows. ECAI 2014: 1143-1148 - [c165]Victor Pillac, Pascal Van Hentenryck, Caroline Even:
A Path-Generation Matheuristic for Large Scale Evacuation Planning. Hybrid Metaheuristics 2014: 71-84 - [c164]Russell Bent, Carleton Coffrin, Rodrigo R. E. Gumucio, Pascal Van Hentenryck:
Transmission Network Expansion Planning: Bridging the gap between AC heuristics and DC approximations. PSCC 2014: 1-8 - [c163]Carleton Coffrin, Pascal Van Hentenryck:
Transmission System Restoration: Co-optimization of repairs, load pickups, and generation dispatch. PSCC 2014: 1-8 - [c162]Carleton Coffrin, Hassan L. Hijazi, Karsten Lehmann, Pascal Van Hentenryck:
Primal and dual bounds for Optimal Transmission Switching. PSCC 2014: 1-8 - [c161]Terrence W. K. Mak, Carleton Coffrin, Pascal Van Hentenryck, Ian A. Hiskens, David J. Hill:
Power system restoration planning with standing phase angle and voltage difference constraints. PSCC 2014: 1-8 - [c160]Pascal Van Hentenryck, Carleton Coffrin:
Teaching creative problem solving in a MOOC. SIGCSE 2014: 677-682 - [i17]Laurent Michel, Pascal Van Hentenryck:
A Microkernel Architecture for Constraint Programming. CoRR abs/1401.5334 (2014) - [i16]Pascal Van Hentenryck, Laurent Michel:
Domain Views for Constraint Programming. CoRR abs/1401.5341 (2014) - [i15]Yury Kryvasheyeu, Haohui Chen, Esteban Moro, Pascal Van Hentenryck, Manuel Cebrián:
Performance of Social Network Sensors During Hurricane Sandy. CoRR abs/1402.2482 (2014) - [i14]Andrés Abeliuk, Gerardo Berbeglia, Manuel Cebrián, Pascal Van Hentenryck:
Measuring and Optimizing Cultural Markets. CoRR abs/1408.1542 (2014) - [i13]Karsten Lehmann, Alban Grastien, Pascal Van Hentenryck:
AC-Feasibility on Tree Networks is NP-Hard. CoRR abs/1410.8253 (2014) - [i12]Andrés Abeliuk, Gerardo Berbeglia, Manuel Cebrián, Pascal Van Hentenryck:
Optimizing Expected Utility in a Multinomial Logit Model with Position Bias and Social Influence. CoRR abs/1411.0279 (2014) - [i11]Karsten Lehmann, Alban Grastien, Pascal Van Hentenryck:
The Complexity of DC-Switching Problems. CoRR abs/1411.4369 (2014) - 2013
- [j76]Yves Deville, Pascal Van Hentenryck, Jean-Baptiste Mairy:
Domain consistency with forbidden values. Constraints An Int. J. 18(3): 377-403 (2013) - [c159]Pascal Van Hentenryck:
Decide Different! CP 2013: 7 - [c158]Pascal Van Hentenryck, Laurent Michel:
The Objective-CP Optimization System. CP 2013: 8-29 - [c157]Daniel Fontaine, Laurent Michel, Pascal Van Hentenryck:
Model Combinators for Hybrid Optimization. CP 2013: 299-314 - [c156]Graeme Gange, Peter J. Stuckey, Pascal Van Hentenryck:
Explaining Propagators for Edge-Valued Decision Diagrams. CP 2013: 340-355 - [c155]Paul Scott, Sylvie Thiébaux, Menkes van den Briel, Pascal Van Hentenryck:
Residential Demand Response under Uncertainty. CP 2013: 645-660 - [c154]Pascal Van Hentenryck:
Computational Disaster Management. IJCAI 2013: 12-19 - [i10]Ionut D. Aron, Pascal Van Hentenryck:
A constraint satisfaction approach to the robust spanning tree problem with interval data. CoRR abs/1301.0552 (2013) - [i9]Victor Naroditskiy, Nicholas R. Jennings, Pascal Van Hentenryck, Manuel Cebrián:
Crowdsourcing Dilemma. CoRR abs/1304.3548 (2013) - [i8]Victor Pillac, Pascal Van Hentenryck, Caroline Even:
A Conflict-Based Path-Generation Heuristic for Evacuation Planning. CoRR abs/1309.2693 (2013) - [i7]Nicolas Beldiceanu, Pierre Flener, Justin Pearson, Pascal Van Hentenryck:
Propagating Regular Counting Constraints. CoRR abs/1309.7145 (2013) - 2012
- [j75]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:
AI@NICTA. AI Mag. 33(3): 115- (2012) - [j74]Sébastien Mouthuy, Pascal Van Hentenryck, Yves Deville:
Constraint-based Very Large-Scale Neighborhood search. Constraints An Int. J. 17(2): 87-122 (2012) - [j73]Quang-Dung Pham, Yves Deville, Pascal Van Hentenryck:
LS(Graph): a constraint-based local search for constraint optimization on trees and paths. Constraints An Int. J. 17(4): 357-408 (2012) - [c153]Carleton Coffrin, Pascal Van Hentenryck, Russell Bent:
Last-Mile Restoration for Multiple Interdependent Infrastructures. AAAI 2012: 455-463 - [c152]Jean-Baptiste Mairy, Pascal Van Hentenryck, Yves Deville:
An Optimal Filtering Algorithm for Table Constraints. CP 2012: 496-511 - [c151]Laurent D. Michel, Pascal Van Hentenryck:
Constraint Satisfaction over Bit-Vectors. CP 2012: 527-543 - [c150]Laurent Michel, Pascal Van Hentenryck:
Activity-Based Search for Black-Box Constraint Programming Solvers. CPAIOR 2012: 228-243 - [c149]Florence Massen, Yves Deville, Pascal Van Hentenryck:
Pheromone-Based Heuristic Column Generation for Vehicle Routing Problems with Black Box Feasibility. CPAIOR 2012: 260-274 - [c148]Ben Simon, Carleton Coffrin, Pascal Van Hentenryck:
Randomized Adaptive Vehicle Decomposition for Large-Scale Power Restoration. CPAIOR 2012: 379-394 - [c147]Pascal Van Hentenryck, Nabeel Gillani, Carleton Coffrin:
Joint Assessment and Restoration of Power Systems. ECAI 2012: 792-797 - [i6]Carleton Coffrin, Pascal Van Hentenryck:
A Linear-Programming Approximation of AC Power Flows. CoRR abs/1206.3614 (2012) - 2011
- [j72]Luc Mercier, Pascal Van Hentenryck:
An anytime multistep anticipatory algorithm for online stochastic combinatorial optimization. Ann. Oper. Res. 184(1): 233-271 (2011) - [j71]Laurent D. Michel, Alexander A. Shvartsman, Elaine L. Sonderegger, Pascal Van Hentenryck:
Optimal deployment of eventually-serializable data services. Ann. Oper. Res. 184(1): 273-294 (2011) - [j70]Pierre Schaus, Pascal Van Hentenryck, Jean-Noël Monette, Carleton Coffrin, Laurent Michel, Yves Deville:
Solving Steel Mill Slab Problems with constraint-based techniques: CP, LNS, and CBLS. Constraints An Int. J. 16(2): 125-147 (2011) - [j69]Iván Dotú, Manuel Cebrián, Pascal Van Hentenryck, Peter Clote:
On Lattice Protein Structure Prediction Revisited. IEEE ACM Trans. Comput. Biol. Bioinform. 8(6): 1620-1632 (2011) - [c146]Siddhartha Jain, Pascal Van Hentenryck:
Large Neighborhood Search for Dial-a-Ride Problems. CP 2011: 400-413 - [c145]Justin Yip, Pascal Van Hentenryck:
Checking and Filtering Global Set Constraints. CP 2011: 819-833 - [c144]Carleton Coffrin, Pascal Van Hentenryck, Russell Bent:
Spatial and Objective Decompositions for Very Large SCAPs. CPAIOR 2011: 59-75 - [c143]Alessandro Zanarini, Pascal Van Hentenryck:
Identifying Patterns in Sequences of Variables. CPAIOR 2011: 246-251 - [c142]Justin Yip, Pascal Van Hentenryck:
Symmetry Breaking via LexLeader Feasibility Checkers. IJCAI 2011: 687-692 - [c141]Dario Pacino, Pascal Van Hentenryck:
Large Neighborhood Search and Adaptive Randomized Decompositions for Flexible Jobshop Scheduling. IJCAI 2011: 1997-2002 - [i5]Laurent D. Michel, Pascal Van Hentenryck:
Activity-Based Search for Black-Box Contraint-Programming Solvers. CoRR abs/1105.6314 (2011) - [i4]Luc De Raedt, Siegfried Nijssen, Barry O'Sullivan, Pascal Van Hentenryck:
Constraint Programming meets Machine Learning and Data Mining (Dagstuhl Seminar 11201). Dagstuhl Reports 1(5): 61-83 (2011) - 2010
- [j68]Pascal Van Hentenryck, Russell Bent, Eli Upfal:
Online stochastic optimization under time constraints. Ann. Oper. Res. 177(1): 151-183 (2010) - [j67]Hélène Collavizza, Michel Rueher, Pascal Van Hentenryck:
CPBPV: a constraint-programming framework for bounded program verification. Constraints An Int. J. 15(2): 238-264 (2010) - [c140]Russell Bent, Pascal Van Hentenryck:
Spatial, Temporal, and Hybrid Decompositions for Large-Scale Vehicle Routing with Time Windows. CP 2010: 99-113 - [c139]Yves Deville, Pascal Van Hentenryck:
Domain Consistency with Forbidden Values. CP 2010: 191-205 - [c138]Justin Yip, Pascal Van Hentenryck:
Exponential Propagation for Set Variables. CP 2010: 499-513 - [c137]Laurent Michel, Alexander A. Shvartsman, Elaine L. Sonderegger, Pascal Van Hentenryck:
Load Balancing and Almost Symmetries for RAMBO Quorum Hosting. CP 2010: 598-612 - [c136]Pham Quang Dung, Yves Deville, Pascal Van Hentenryck:
Constraint-Based Local Search for Constrained Optimum Paths Problems. CPAIOR 2010: 267-281 - [c135]Pierre Schaus, Pascal Van Hentenryck, Alessandro Zanarini:
Revisiting the Soft Global Cardinality Constraint. CPAIOR 2010: 307-312 - [c134]Pascal Van Hentenryck, Russell Bent, Carleton Coffrin:
Strategic Planning for Disaster Recovery with Stochastic Last Mile Distribution. CPAIOR 2010: 318-333 - [c133]Justin Yip, Pascal Van Hentenryck, Carmen Gervet:
Boosting Set Constraint Propagation for Network Design. CPAIOR 2010: 339-353 - [c132]Iván Dotú, W. A. Lorenz, Pascal Van Hentenryck, Peter Clote:
RNA Structural Segmentation. Pacific Symposium on Biocomputing 2010: 57-68 - no results
2000 – 2009
- 2009
- [j66]Pascal Van Hentenryck, Russell Bent, Luc Mercier, Yannis Vergados:
Online stochastic reservation systems. Ann. Oper. Res. 171(1): 101-126 (2009) - [j65]Grégoire Dooms, Pascal Van Hentenryck, Laurent Michel:
Model-driven visualizations of constraint-based local search. Constraints An Int. J. 14(3): 294-324 (2009) - [j64]Pierre Flener, Justin Pearson, Meinolf Sellmann, Pascal Van Hentenryck, Magnus Ågren:
Dynamic structural symmetry breaking for constraint satisfaction problems. Constraints An Int. J. 14(4): 506-538 (2009) - [j63]Laurent D. Michel, Andrew See, Pascal Van Hentenryck:
Parallel and distributed local search in COMET. Comput. Oper. Res. 36(8): 2357-2375 (2009) - [j62]Laurent Michel, Andrew See, Pascal Van Hentenryck:
Transparent Parallelization of Constraint Programming. INFORMS J. Comput. 21(3): 363-382 (2009) - [c131]Jean-Noël Monette, Yves Deville, Pascal Van Hentenryck:
Just-In-Time Scheduling with Constraint Programming. ICAPS 2009 - [c130]Iván Dotú, Pascal Van Hentenryck, Miguel A. Patricio, Antonio Berlanga, José García, José M. Molina López:
Real-Time Tabu Search for Video Tracking Association. CP 2009: 21-34 - [c129]Laurent Michel, Martijn Moraal, Alexander A. Shvartsman, Elaine L. Sonderegger, Pascal Van Hentenryck:
Online Selection of Quorum Systems for RAMBO Reconfiguration. CP 2009: 88-103 - [c128]Pascal Van Hentenryck, Carleton Coffrin, Boris Gutkovich:
Constraint-Based Local Search for the Automatic Generation of Architectural Tests. CP 2009: 787-801 - [c127]Justin Yip, Pascal Van Hentenryck:
Evaluation of Length-Lex Set Variables. CP 2009: 817-832 - [c126]Laurent D. Michel, Pascal Van Hentenryck, Elaine L. Sonderegger, Alexander A. Shvartsman, Martijn Moraal:
Bandwidth-Limited Optimal Deployment of Eventually-Serializable Data Services. CPAIOR 2009: 193-207 - [c125]Pierre Schaus, Pascal Van Hentenryck, Jean-Charles Régin:
Scalable Load Balancing in Nurse to Patient Assignment Problems. CPAIOR 2009: 248-262 - [c124]Pascal Van Hentenryck:
Constraint Programming. EMO 2009: 3 - [c123]Justin Yip, Pascal Van Hentenryck:
Length-lex bound consistency for knapsack constraints. SAC 2009: 1397-1401 - [c122]Pham Quang Dung, Yves Deville, Pascal Van Hentenryck:
LS(graph & tree): a local search framework for constraint optimization on graphs and trees. SAC 2009: 1402-1407 - [c121]Carleton Coffrin, Laurent D. Michel, Alexander A. Shvartsman, Elaine L. Sonderegger, Pascal Van Hentenryck:
Optimizing Network Deployment of Formally-Specified Distributed Systems. SEDE 2009: 230-237 - [c120]Pham Quang Dung, Yves Deville, Pascal Van Hentenryck:
A Local Search Modeling for Constrained Optimum Paths Problems (Extended Abstract). LSCS 2009: 5-11 - [c119]Marie Pelleau, Pascal Van Hentenryck, Charlotte Truchet:
Sonet Network Design Problems. LSCS 2009: 81-95 - 2008
- [j61]Luc Mercier, Pascal Van Hentenryck:
Edge Finding for Cumulative Scheduling. INFORMS J. Comput. 20(1): 143-153 (2008) - [c118]Manuel Cebrián, Iván Dotú, Pascal Van Hentenryck, Peter Clote:
Protein Structure Prediction on the Face Centered Cubic Lattice by Local Search. AAAI 2008: 241-246 - [c117]Pascal Van Hentenryck, Justin Yip, Carmen Gervet, Grégoire Dooms:
Bound Consistency for Binary Length-Lex Set Constraints. AAAI 2008: 375-380 - [c116]Iván Dotú, Manuel Cebrián, Pascal Van Hentenryck, Peter Clote:
Protein Structure Prediction with Large Neighborhood Constraint Programming Search. CP 2008: 82-96 - [c115]Hélène Collavizza, Michel Rueher, Pascal Van Hentenryck:
CPBPV: A Constraint-Programming Framework for Bounded Program Verification. CP 2008: 327-341 - [c114]Pascal Van Hentenryck:
30 Years of Constraint Programming. CPAIOR 2008: 5 - [c113]Grégoire Dooms, Pascal Van Hentenryck:
Gap Reduction Techniques for Online Stochastic Project Scheduling. CPAIOR 2008: 66-81 - [c112]Luc Mercier, Pascal Van Hentenryck:
Amsaa: A Multistep Anticipatory Algorithm for Online Stochastic Combinatorial Optimization. CPAIOR 2008: 173-187 - [c111]Laurent Michel, Alexander A. Shvartsman, Elaine L. Sonderegger, Pascal Van Hentenryck:
Optimal Deployment of Eventually-Serializable Data Services. CPAIOR 2008: 188-202 - [c110]Pascal Van Hentenryck, Laurent Michel:
The Steel Mill Slab Design Problem Revisited. CPAIOR 2008: 377-381 - [c109]Pascal Van Hentenryck:
The Impact of Constraint Programming. ECAI 2008: 9 - [i3]Hélène Collavizza, Michel Rueher, Pascal Van Hentenryck:
CPBVP: A Constraint-Programming Framework for Bounded Program Verification. CoRR abs/0807.2383 (2008) - [i2]Hélène Collavizza, Michel Rueher, Pascal Van Hentenryck:
Comparison between CPBPV, ESC/Java, CBMC, Blast, EUREKA and Why for Bounded Program Verification. CoRR abs/0808.1508 (2008) - 2007
- [j60]Iván Dotú, Pascal Van Hentenryck:
Scheduling social tournaments locally. AI Commun. 20(3): 151-162 (2007) - [j59]Carlos Cotta, Iván Dotú, Antonio J. Fernández, Pascal Van Hentenryck:
Local Search-based Hybrid Algorithms for Finding Golomb Rulers. Constraints An Int. J. 12(3): 263-291 (2007) - [j58]Luc Mercier, Pascal Van Hentenryck:
Strong polynomiality of resource constraint propagation. Discret. Optim. 4(3-4): 288-314 (2007) - [c108]Russell Bent, Pascal Van Hentenryck:
Randomized Adaptive Spatial Decoupling for Large-Scale Vehicle Routing with Time Windows. AAAI 2007: 173-178 - [c107]Irit Katriel, Meinolf Sellmann, Eli Upfal, Pascal Van Hentenryck:
Propagating Knapsack Constraints in Sublinear Time. AAAI 2007: 231-236 - [c106]Pascal Van Hentenryck, Yannis Vergados:
Population-Based Simulated Annealing for Traveling Tournaments. AAAI 2007: 267-271 - [c105]Pascal Van Hentenryck, Laurent D. Michel:
Synthesis of Constraint-Based Local Search Algorithms from High-Level Models. AAAI 2007: 273-279 - [c104]Grégoire Dooms, Pascal Van Hentenryck, Laurent Michel:
Model-Driven Visualizations of Constraint-Based Local Search. CP 2007: 271-285 - [c103]Laurent Michel, Andrew See, Pascal Van Hentenryck:
Parallelizing Constraint Programs Transparently. CP 2007: 514-528 - [c102]Russell Bent, Pascal Van Hentenryck:
Waiting and Relocation Strategies in Online Stochastic Vehicle Routing. IJCAI 2007: 1816-1821 - [c101]Luc Mercier, Pascal Van Hentenryck:
Performance Analysis of Online Anticipatory Algorithms for Large Multistage Stochastic Integer Programs. IJCAI 2007: 1979-1984 - [e5]Pascal Van Hentenryck, Laurence A. Wolsey:
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. Lecture Notes in Computer Science 4510, Springer 2007, ISBN 978-3-540-72396-7 [contents] - 2006
- [b4]Pascal Van Hentenryck, Russell Bent:
Online stochastic combinatorial optimization. MIT Press 2006, ISBN 978-0-262-22080-4, pp. I-XIII, 1-232 - [j57]Pascal Van Hentenryck, Laurent Michel:
Nondeterministic Control for Hybrid Search. Constraints An Int. J. 11(4): 353-373 (2006) - [j56]Russell Bent, Pascal Van Hentenryck:
A two-stage hybrid algorithm for pickup and delivery vehicle routing problems with time windows. Comput. Oper. Res. 33: 875-893 (2006) - [j55]Aris Anagnostopoulos, Laurent Michel, Pascal Van Hentenryck, Yannis Vergados:
A simulated annealing approach to the traveling tournament problem. J. Sched. 9(2): 177-193 (2006) - [c100]Carmen Gervet, Pascal Van Hentenryck:
Length-Lex Ordering for Set CSPs. AAAI 2006: 48-53 - [c99]Laurent Michel, Andrew See, Pascal Van Hentenryck:
Distributed Constraint-Based Local Search. CP 2006: 344-358 - [c98]Laurent Michel, Andrew See, Pascal Van Hentenryck:
High-Level Nondeterministic Abstractions in. CP 2006: 359-374 - [c97]Pascal Van Hentenryck, Laurent Michel:
Differentiable Invariants. CP 2006: 604-619 - [c96]Iván Dotú, Pascal Van Hentenryck:
A Note on Low Autocorrelation Binary Sequences. CP 2006: 685-689 - [c95]Pierre Flener, Justin Pearson, Meinolf Sellmann, Pascal Van Hentenryck:
Static and Dynamic Structural Symmetry Breaking. CP 2006: 695-699 - [c94]Pascal Van Hentenryck, Russell Bent, Yannis Vergados:
Online Stochastic Reservation Systems. CPAIOR 2006: 212-227 - [c93]Pascal Van Hentenryck, Yannis Vergados:
Traveling Tournament Scheduling: A Systematic Evaluation of Simulated Annealling. CPAIOR 2006: 228-243 - [c92]Carlos Cotta, Iván Dotú, Antonio J. Fernández, Pascal Van Hentenryck:
Scheduling Social Golfers with Memetic Evolutionary Programming. Hybrid Metaheuristics 2006: 150-161 - [c91]Carlos Cotta, Iván Dotú, Antonio J. Fernández, Pascal Van Hentenryck:
A Memetic Approach to Golomb Rulers. PPSN 2006: 252-261 - [e4]Pascal Van Hentenryck:
Practical Aspects of Declarative Languages, 8th International Symposium, PADL 2006, Charleston, SC, USA, January 9-10, 2006, Proceedings. Lecture Notes in Computer Science 3819, Springer 2006, ISBN 3-540-30947-0 [contents] - 2005
- [b3]Pascal Van Hentenryck, Laurent Michel:
Constraint-based local search. MIT Press 2005, ISBN 978-0-262-22077-4, pp. I-XIX, 1-422 - [j54]Pascal Van Hentenryck:
Introduction to the Special Issue on Principles and Practice of Constraint Programming. Constraints An Int. J. 10(1): 5 (2005) - [j53]Pascal Van Hentenryck, Laurent Michel:
Control Abstractions for Local Search. Constraints An Int. J. 10(2): 137-157 (2005) - [j52]Irit Katriel, Laurent Michel, Pascal Van Hentenryck:
Maintaining Longest Paths Incrementally. Constraints An Int. J. 10(2): 159-183 (2005) - [j51]Pascal Van Hentenryck, Laurent Michel, Liyuan Liu:
Contraint-Based Combinators for Local Search. Constraints An Int. J. 10(4): 363-384 (2005) - [j50]Laurent Michel, Pascal Van Hentenryck:
A Modeling Layer for Constraint-Programming Libraries. INFORMS J. Comput. 17(4): 389-401 (2005) - [j49]Glencora Borradaile, Pascal Van Hentenryck:
Safe and tight linear estimators for global optimization. Math. Program. 102(3): 495-517 (2005) - [c90]Pascal Van Hentenryck, Yannis Vergados:
Minimizing Breaks in Sport Scheduling with Local Search. ICAPS 2005: 22-29 - [c89]Russell Bent, Pascal Van Hentenryck:
Online Stochastic Optimization Without Distributions. ICAPS 2005: 171-180 - [c88]Iván Dotú, Pascal Van Hentenryck:
A simple hybrid evolutionary algorithm for finding Golomb rulers. Congress on Evolutionary Computation 2005: 2018-2023 - [c87]Russell Bent, Irit Katriel, Pascal Van Hentenryck:
Sub-optimality Approximations. CP 2005: 122-136 - [c86]Irit Katriel, Pascal Van Hentenryck:
Maintaining Longest Paths in Cyclic Graphs. CP 2005: 358-372 - [c85]Laurent Michel, Pascal Van Hentenryck:
Parallel Local Search in Comet. CP 2005: 430-444 - [c84]Iván Dotú, Alvaro del Val, Pascal Van Hentenryck:
Scheduling Social Tournaments. CP 2005: 845 - [c83]Laurent Michel, Pascal Van Hentenryck:
The Comet Programming Language and System. CP 2005: 881-881 - [c82]Iván Dotú, Pascal Van Hentenryck:
Scheduling Social Golfers Locally. CPAIOR 2005: 155-167 - [c81]Pascal Van Hentenryck, Laurent Michel:
Nondeterministic Control for Hybrid Search. CPAIOR 2005: 380-395 - [c80]Meinolf Sellmann, Pascal Van Hentenryck:
Structural Symmetry Breaking. IJCAI 2005: 298-303 - [c79]Pascal Van Hentenryck, Pierre Flener, Justin Pearson, Magnus Ågren:
Compositional Derivation of Symmetries for Constraint Satisfaction. SARA 2005: 234-247 - 2004
- [j48]Laurent Michel, Pascal Van Hentenryck:
A simple tabu search for warehouse location. Eur. J. Oper. Res. 157(3): 576-591 (2004) - [j47]Aris Anagnostopoulos, Russell Bent, Eli Upfal, Pascal Van Hentenryck:
A simple and deterministic competitive algorithm for online facility location. Inf. Comput. 194(2): 175-202 (2004) - [j46]Russell Bent, Pascal Van Hentenryck:
Scenario-Based Planning for Partially Dynamic Vehicle Routing with Stochastic Customers. Oper. Res. 52(6): 977-987 (2004) - [j45]Ionut D. Aron, Pascal Van Hentenryck:
On the complexity of the robust spanning tree problem with interval data. Oper. Res. Lett. 32(1): 36-40 (2004) - [j44]Laurent Michel, Pascal Van Hentenryck:
A decomposition-based implementation of search strategies. ACM Trans. Comput. Log. 5(2): 351-383 (2004) - [j43]Russell Bent, Pascal Van Hentenryck:
A Two-Stage Hybrid Local Search for the Vehicle Routing Problem with Time Windows. Transp. Sci. 38(4): 515-530 (2004) - [c78]Russell Bent, Pascal Van Hentenryck:
Regrets Only! Online Stochastic Optimization under Time Constraints. AAAI 2004: 501-506 - [c77]Laurent Michel, Pascal Van Hentenryck:
Iterative Relaxations for Iterative Flattening in Cumulative Scheduling. ICAPS 2004: 200-208 - [c76]Russell Bent, Pascal Van Hentenryck:
The Value of Consensus in Online Stochastic Scheduling. ICAPS 2004: 219-226 - [c75]Russell Bent, Pascal Van Hentenryck:
Online Stochastic and Robust Optimization. ASIAN 2004: 286-300 - [c74]Pascal Van Hentenryck, Laurent Michel, Liyuan Liu:
Constraint-Based Combinators for Local Search. CP 2004: 47-61 - [c73]Pascal Van Hentenryck, Laurent Michel:
Scheduling Abstractions for Local Search. CPAIOR 2004: 319-334 - [c72]Colin Blundell, Kathi Fisler, Shriram Krishnamurthi, Pascal Van Hentenryck:
Parameterized Interfaces for Open System Verification of Product Lines. ASE 2004: 258-267 - 2003
- [c71]Laurent Michel, Pascal Van Hentenryck:
Comet in Context. PCK50 2003: 95-107 - [c70]Pascal Van Hentenryck, Laurent Michel:
Control Abstractions for Local Search. CP 2003: 65-80 - [c69]Russell Bent, Pascal Van Hentenryck:
A Two-Stage Hybrid Algorithm for Pickup and Delivery Vehicle Routing Problems with Time Windows. CP 2003: 123-137 - [c68]Laurent Michel, Pascal Van Hentenryck:
Maintaining Longest Paths Incrementally. CP 2003: 540-554 - [c67]Christian Bessière, Pascal Van Hentenryck:
To Be or Not to Be ... a Global Constraint. CP 2003: 789-794 - [c66]Pascal Van Hentenryck, Pierre Flener, Justin Pearson, Magnus Ågren:
Tractable Symmetry Breaking for CSPs with Interchangeable Values. IJCAI 2003: 277-284 - [c65]Aris Anagnostopoulos, Laurent Michel, Pascal Van Hentenryck, Yannis Vergados:
A Simulated Annealing Approach to the Travelling Tournament Problem. IJCAI 2003: 1357-1358 - [c64]Russell Bent, Pascal Van Hentenryck:
Dynamic Vehicle Routing with Stochastic Requests. IJCAI 2003: 1362-1363 - 2002
- [j42]Yves Deville, Micha Janssen, Pascal Van Hentenryck:
Consistency Techniques in Ordinary Differential Equations. Constraints An Int. J. 7(3-4): 289-315 (2002) - [j41]Pascal Van Hentenryck:
Constraint and Integer Programming in OPL. INFORMS J. Comput. 14(4): 345-372 (2002) - [j40]Micha Janssen, Pascal Van Hentenryck, Yves Deville:
A Constraint Satisfaction Approach for Enclosing Solutions to Parametric Ordinary Differential Equations. SIAM J. Numer. Anal. 40(5): 1896-1939 (2002) - [j39]Pascal Van Hentenryck:
Editorial - SAS'97. Theor. Comput. Sci. 277(1-2): 1-2 (2002) - [j38]Baudouin Le Charlier, Sabina Rossi, Pascal Van Hentenryck:
Sequence-based abstract interpretation of Prolog. Theory Pract. Log. Program. 2(1): 25-84 (2002) - [c63]Pascal Van Hentenryck:
Du filtrage optimal à la stabilité parfaite. JFPLC 2002: 11- - [c62]Laurent Michel, Pascal Van Hentenryck:
A constraint-based architecture for local search. OOPSLA 2002: 83-100 - [c61]Ionut D. Aron, Pascal Van Hentenryck:
A Constraint Satisfaction Approach to the Robust Spanning Tree Problem with Interval Data. UAI 2002: 18-25 - [e3]Pascal Van Hentenryck:
Principles and Practice of Constraint Programming - CP 2002, 8th International Conference, CP 2002, Ithaca, NY, USA, September 9-13, 2002, Proceedings. Lecture Notes in Computer Science 2470, Springer 2002, ISBN 3-540-44120-4 [contents] - 2001
- [j37]Frédéric Benhamou, Pascal Van Hentenryck:
In honor of Alain Colmerauer's 60th birthday. Theory Pract. Log. Program. 1(6): 633-635 (2001) - [c60]Micha Janssen, Pascal Van Hentenryck, Yves Deville:
Optimal Pruning in Parametric Differential Equations. CP 2001: 539-553 - [c59]Micha Janssen, Pascal Van Hentenryck, Yves Deville:
A Constraint Satisfaction Approach to Parametric Differential Equations. IJCAI 2001: 297-302 - 2000
- [j36]Laurent Michel, Pascal Van Hentenryck:
Localizer. Constraints An Int. J. 5(1/2): 43-84 (2000) - [j35]Viswanath Ramachandran, Pascal Van Hentenryck, Agostino Cortesi:
Abstract Domains for Reordering CLP(RLin) Programs. J. Log. Program. 42(3): 217-256 (2000) - [j34]Agostino Cortesi, Baudouin Le Charlier, Pascal Van Hentenryck:
Combinations of abstract domains for logic programming: open product and generic pattern construction. Sci. Comput. Program. 38(1-3): 27-71 (2000) - [j33]Pascal Van Hentenryck:
Constraint programming. ACM SIGSOFT Softw. Eng. Notes 25(1): 89-90 (2000) - [j32]Pascal Van Hentenryck, Laurent Perron, Jean-Francois Puget:
Search and strategies in OPL. ACM Trans. Comput. Log. 1(2): 285-320 (2000) - [c58]Pascal Van Hentenryck:
A Preview of OPL. PACPL 2000: 1-20 - [i1]Baudouin Le Charlier, Sabina Rossi, Pascal Van Hentenryck:
Sequence-Based Abstract Interpretation of Prolog. CoRR cs.LO/0010028 (2000) - no results
1990 – 1999
- 1999
- [j31]Yves Deville, Olivier Barette, Pascal Van Hentenryck:
Constraint Satisfaction over Connected Row Convex Constraints. Artif. Intell. 109(1-2): 243-271 (1999) - [j30]Evelina Lamma, Paola Mello, Cesare Stefanelli, Pascal Van Hentenryck:
Exploiting Type Analysis for Unification in a Distributed Environment. Comput. Artif. Intell. 18(5): 447-465 (1999) - [j29]Laurent D. Michel, Pascal Van Hentenryck:
Localizer: A Modeling Language for Local Search. INFORMS J. Comput. 11(1): 1-14 (1999) - [c57]Pascal Van Hentenryck, Laurent Michel:
OPL Script: Composing and Controlling Models. New Trends in Constraints 1999: 75-90 - [c56]Micha Janssen, Yves Deville, Pascal Van Hentenryck:
Multistep Filtering Operators for Ordinary Differential Equations. CP 1999: 246-260 - [c55]Pascal Van Hentenryck, Laurent Michel, Philippe Laborie, Wim Nuijten, Jerome Rogerie:
Combinatorial Optimization in OPL Studio. EPIA 1999: 1-15 - [c54]Pascal Van Hentenryck:
Localizer: A Modeling Language for Local Search. JFPLC 1999: 143-144 - [c53]Pascal Van Hentenryck, Laurent Michel, Laurent Perron, Jean-Charles Régin:
Constraint Programming in OPL. PPDP 1999: 98-116 - 1998
- [j28]Pascal Van Hentenryck:
A Gentle Introduction to NUMERICA. Artif. Intell. 103(1-2): 209-235 (1998) - [j27]Isabel F. Cruz, Kim Marriott, Pascal Van Hentenryck:
Introduction to the Special Issue. Constraints An Int. J. 3(1): 5-7 (1998) - [j26]Jean-François Puget, Pascal Van Hentenryck:
A Constraint Satisfaction Approach to a Circuit Design Problem. J. Glob. Optim. 13(1): 75-93 (1998) - [j25]Pascal Van Hentenryck, Vijay A. Saraswat, Yves Deville:
Design, Implementation, and Evaluation of the Constraint Language cc(FD). J. Log. Program. 37(1-3): 139-164 (1998) - [j24]Pascal Van Hentenryck, Laurent Michel, Frédéric Benhamou:
Newton - Constraint Programming over Nonlinear Constraints. Sci. Comput. Program. 30(1-2): 83-118 (1998) - [c52]Yves Deville, Micha Janssen, Pascal Van Hentenryck:
Consistency Techniques in Ordinary Differential Equations. CP 1998: 162-176 - 1997
- [b2]Pascal Van Hentenryck, Laurent Michel, Yves Deville:
Numerica - A Modeling Language for Global Optimization. MIT Press 1997, ISBN 978-0-262-72027-4, pp. I-XVII, 1-210 - [j23]Vijay A. Saraswat, Pascal Van Hentenryck:
Introduction to the Special Issue. Constraints An Int. J. 2(1): 5-6 (1997) - [j22]Pascal Van Hentenryck, Vijay A. Saraswat:
Constraint Programming: Strategic Directions. Constraints An Int. J. 2(1): 7-33 (1997) - [j21]Pascal Van Hentenryck:
Constraint Programming for Combinatorial Search Problems. Constraints An Int. J. 2(1): 99-101 (1997) - [j20]Frédéric Benhamou, Pascal Van Hentenryck:
Introduction to the Special Issue on Interval Constraints. Constraints An Int. J. 2(2): 107-112 (1997) - [j19]Laurent Michel, Pascal Van Hentenryck:
Helios: A Modeling Language for Global Optimization and its Implementation in Newton. Theor. Comput. Sci. 173(1): 3-48 (1997) - [c51]Pascal Van Hentenryck:
A Modeling Language for Constraint Programming. CP 1997: 1 - [c50]Laurent Michel, Pascal Van Hentenryck:
Localizer: A Modeling Language for Local Search. CP 1997: 237-251 - [c49]Evelina Lamma, Paola Mello, Cesare Stefanelli, Pascal Van Hentenryck:
Improving Distributed Unification through Type Analysis. Euro-Par 1997: 1181-1190 - [c48]Yves Deville, Olivier Barette, Pascal Van Hentenryck:
Constraint Satisfaction over Connected Row Convex Constraints. IJCAI (1) 1997: 405-411 - [c47]Pascal Van Hentenryck:
Numerica: A Modeling Language for Global Optimization. IJCAI 1997: 1642-1650 - [e2]Pascal Van Hentenryck:
Static Analysis, 4th International Symposium, SAS '97, Paris, France, September 8-10, 1997, Proceedings. Lecture Notes in Computer Science 1302, Springer 1997, ISBN 3-540-63468-1 [contents] - 1996
- [j18]Jean-Louis Imbert, Pascal Van Hentenryck:
Redundancy Elimination with a Lexicographic Solved Form. Ann. Math. Artif. Intell. 17(1-2): 85-106 (1996) - [j17]Pascal Van Hentenryck:
Constraint Programming for Combinatorial Search Problems. ACM Comput. Surv. 28(4es): 76 (1996) - [j16]Pascal Van Hentenryck, Vijay A. Saraswat:
Strategic Directions in Constraint Programming. ACM Comput. Surv. 28(4): 701-726 (1996) - [j15]Pascal Van Hentenryck:
In Memoriam: Paris C. Kanellakis. J. Log. Program. 27(1): 1-3 (1996) - [c46]Evelina Lamma, Paola Mello, Cesare Stefanelli, Pascal Van Hentenryck:
Comsumption-based Distributed Unification. APPIA-GULP-PRODE 1996: 207-218 - [c45]Philippe Refalo, Pascal Van Hentenryck:
CLP(Rlin) Revised. JICSLP 1996: 22-36 - 1995
- [j14]Baudouin Le Charlier, Pascal Van Hentenryck:
Reexecution in Abstract Interpretation of Prolog. Acta Informatica 32(3): 209-270 (1995) - [j13]Pascal Van Hentenryck, Agostino Cortesi, Baudouin Le Charlier:
Type Analysis of Prolog Using Type Graphs. J. Log. Program. 22(3): 179-209 (1995) - [j12]Pascal Van Hentenryck, Agostino Cortesi, Baudouin Le Charlier:
Evaluation of the Domain Prop. J. Log. Program. 23(3): 237-278 (1995) - [j11]Pascal Van Hentenryck, Viswanath Ramachandran:
Backtracking without Trailing in CLP(R-lin). ACM Trans. Program. Lang. Syst. 17(4): 635-671 (1995) - [c44]Pascal Van Hentenryck:
Constraint Solving for Combinatorial Search Problems: A Tutorial. CP 1995: 564-587 - [c43]Baudouin Le Charlier, Pascal Van Hentenryck:
A generic fixpoint semantics for PROLOG and its application for abstract interpretation. JFPLC 1995: 113-125 - [c42]Manuvir Das, Thomas W. Reps, Pascal Van Hentenryck:
Semantic Foundations of Binding Time Analysis for Imperative Programs. PEPM 1995: 100-110 - [c41]Viswanath Ramachandran, Pascal Van Hentenryck:
LSign Reordered. SAS 1995: 330-347 - 1994
- [j10]Baudouin Le Charlier, Pascal Van Hentenryck:
Experimental Evaluation of a Generic Abstract Interpretation Algorithm for PROLOG. ACM Trans. Program. Lang. Syst. 16(1): 35-101 (1994) - [c40]Baudouin Le Charlier, Sabina Rossi, Pascal Van Hentenryck:
An Abstract Interpretation Framework for (almost) Full Prolog. GULP-PRODE (1) 1994: 92-106 - [c39]Pascal Van Hentenryck, Agostino Cortesi, Baudouin Le Charlier:
Type Analysis of Prolog Using Type Graphs. PLDI 1994: 337-348 - [c38]Pascal Van Hentenryck, Viswanath Ramachandran:
Backtracking without Trailing in CLP(RLin). PLDI 1994: 349-360 - [c37]Agostino Cortesi, Baudouin Le Charlier, Pascal Van Hentenryck:
Combinations of Abstract Domains for Logic Programming. POPL 1994: 227-239 - [c36]Frédéric Benhamou, David A. McAllester, Pascal Van Hentenryck:
CLP(Intervals) Revisited. ILPS 1994: 124-138 - [c35]Baudouin Le Charlier, Sabina Rossi, Pascal Van Hentenryck:
An Abstract Interpretation Framework which Accurately Handles Prolog Search-Rule and the Cut. ILPS 1994: 157-171 - [c34]C. Braem, Baudouin Le Charlier, S. Modart, Pascal Van Hentenryck:
Cardinality Analysis of Prolog. ILPS 1994: 457-471 - [c33]Pascal Van Hentenryck, Vijay A. Saraswat, Yves Deville:
Design, Implementation, and Evaluation of the Constraint Language cc(FD). Constraint Programming 1994: 293-316 - [e1]Pascal Van Hentenryck:
Logic Programming, Proceedings of the Eleventh International Conference on Logic Programming, Santa Marherita Ligure, Italy, June 13-18, 1994. MIT Press 1994, ISBN 0-262-72022-1 [contents] - 1993
- [j9]Vincent Englebert, Baudouin Le Charlier, Didier Roland, Pascal Van Hentenryck:
Generic Abstract Interpretation Algorithms for Prolog: Two Optimization Techniques and their Experimental Evaluation. Softw. Pract. Exp. 23(4): 419-459 (1993) - [c32]Viswanath Ramachandran, Pascal Van Hentenryck:
Incremental Algorithms for Constraint Solving and Entailment over Rational Trees. FSTTCS 1993: 205-217 - [c31]Pascal Van Hentenryck:
Constraint Programming Languages. ICTAI 1993: 10 - [c30]Baudouin Le Charlier, Pascal Van Hentenryck:
Groundness Analysis for PROLOG: Implementation and Evaluation of the Domain Prop. PEPM 1993: 99-110 - [c29]Pascal Van Hentenryck, Olivier Degimbe, Baudouin Le Charlier, Laurent Michel:
The Impact of Granularity in Abstract Interpretation of Prolog. WSA 1993: 1-14 - [c28]Baudouin Le Charlier, Olivier Degimbe, Laurent Michel, Pascal Van Hentenryck:
Optimization Techniques for General Purpose Fixpoint Algorithms - Practical Efficiency for the Abstract Interpretation of Prolog. WSA 1993: 15-26 - 1992
- [j8]Pascal Van Hentenryck, Yves Deville, Choh Man Teng:
A Generic Arc-Consistency Algorithm and its Specializations. Artif. Intell. 57(2-3): 291-321 (1992) - [j7]Pascal Van Hentenryck, Helmut Simonis, Mehmet Dincbas:
Constraint Satisfaction Using Constraint Logic Programming. Artif. Intell. 58(1-3): 113-159 (1992) - [j6]Pascal Van Hentenryck, Thomas Graf:
Standard Forms for Rational Linear Arithmetic in Constraint Logic Programming. Ann. Math. Artif. Intell. 5(2-4): 303-319 (1992) - [c27]Baudouin Le Charlier, Pascal Van Hentenryck:
Experimental evaluation of a generic abstract interpretation algorithm for Prolog. ICCL 1992: 137-146 - [c26]Baudouin Le Charlier, Pascal Van Hentenryck:
Reexecution in Abstract Interpretation of Prolog. JICSLP 1992: 750-764 - [c25]Vincent Englebert, Baudouin Le Charlier, Didier Roland, Pascal Van Hentenryck:
Generic Abstract Interpretation Algorithms For Prolog: Tow Optimization Techniques and Their Experimental Evaluation. PLILP 1992: 310-325 - [c24]Baudouin Le Charlier, Pascal Van Hentenryck:
On the Design of Generic Abstract Interpretation Frameworks. WSA 1992: 229-246 - 1991
- [j5]Pascal Van Hentenryck:
Constraint logic programming. Knowl. Eng. Rev. 6(3): 151-194 (1991) - [j4]Pascal Van Hentenryck, Thierry Le Provost:
Incremental Search in Constraint Logic Programming. New Gener. Comput. 9(3/4): 257-276 (1991) - [c23]Pascal Van Hentenryck:
The CLP language CHIP: constraint solving and applications. Compcon 1991: 382-387 - [c22]Baudouin Le Charlier, Kaninda Musumbu, Pascal Van Hentenryck:
A Generic Abstract Interpretation Algorithm and its Complexity Analysis. ICLP 1991: 64-78 - [c21]Pascal Van Hentenryck, Yves Deville:
The Cardinality Operator: A New Logical Connective for Constraint Logic Programming. ICLP 1991: 745-759 - [c20]Yves Deville, Pascal Van Hentenryck:
An Efficient Arc Consistency Algorithm for a Class of CSP Problems. IJCAI 1991: 325-330 - [c19]Pascal Van Hentenryck, Yves Deville:
Operational Semantics of Constraint Logic Programming over Finite Domains. PLILP 1991: 395-406 - [c18]Jean-Louis Imbert, Pascal Van Hentenryck:
A propos des redondances dans les systèmes d'inéquations linéaires. JTASPEFT/WSA 1991: 210-216 - [c17]Jean-Louis Imbert, Pascal Van Hentenryck:
On the Handling of Disequations in CLP over Linear Rational Arithmetic. WCLP 1991: 49-71 - [c16]Pascal Van Hentenryck, Yves Deville:
The Cardinality Operator: A New Logical Connective for Constraint Logic Programming. WCLP 1991: 283-403 - 1990
- [j3]Mehmet Dincbas, Helmut Simonis, Pascal Van Hentenryck:
Solving Large Combinatorial Problems in Logic Programming. J. Log. Program. 8(1): 75-93 (1990) - [c15]Yves Deville, Pascal Van Hentenryck:
Construction of CLP Programs. ALPUK 1990: 112-135 - [c14]Pascal Van Hentenryck:
Incremental Constraint Satisfaction in Logic Programming. ICLP 1990: 189-202 - [c13]Pascal Van Hentenryck:
Constraint Logic Programming: From Theory to Applications. NACLP 1990: 841 - no results
1980 – 1989
- 1989
- [b1]Pascal Van Hentenryck:
Constraint satisfaction in logic programming. Logic programming, MIT Press 1989, ISBN 978-0-262-08181-8, pp. I-XXVI, 1-224 - [c12]Pascal Van Hentenryck:
Parallel Constraint Satisfaction in Logic Programming: Preliminary Results of CHIP within PEPSys. ICLP 1989: 165-180 - [c11]Thomas Graf, Pascal Van Hentenryck, Claudine Pradelles, Laurent Zimmer:
Simulation of Hybrid Circuits in Constraint Logic Programming. IJCAI 1989: 72-77 - 1988
- [j2]Pascal Van Hentenryck:
A constraint approach to mastermind in logic programming. SIGART Newsl. 103: 31-35 (1988) - [c10]Pascal Van Hentenryck, Jean-Philippe Carillon:
Generality versus Specificity: An Experience with AI and OR Techniques. AAAI 1988: 660-664 - [c9]Mehmet Dincbas, Pascal Van Hentenryck, Helmut Simonis, Abderrahmane Aggoun, Alexander Herold:
The CHIP System: Constraint Handling In Prolog. CADE 1988: 774-775 - [c8]Mehmet Dincbas, Helmut Simonis, Pascal Van Hentenryck:
Solving the Car-Sequencing Problem in Constraint Logic Programming. ECAI 1988: 290-295 - [c7]Mehmet Dincbas, Pascal Van Hentenryck, Helmut Simonis, Abderrahmane Aggoun, Thomas Graf, Françoise Berthier:
The Constraint Logic Programming Language CHIP. FGCS 1988: 693-702 - [c6]Mehmet Dincbas, Helmut Simonis, Pascal Van Hentenryck:
Solving a Cutting-Stock Problem in Constraint Logic Programming. ICLP/SLP 1988: 42-58 - [c5]Mehmet Dincbas, Pascal Van Hentenryck, Helmut Simonis, Abderrahmane Aggoun, Thomas Graf:
Applications of CHIP to Industrial and Engineering Problems. IEA/AIE (Vol. 2) 1988: 885-892 - 1987
- [j1]Mehmet Dincbas, Pascal Van Hentenryck:
Extended Unification Algorithms for the Integration of Functional Programming into Logic Programming. J. Log. Program. 4(3): 199-227 (1987) - [c4]Pascal Van Hentenryck, Mehmet Dincbas:
Forward Checking in Logic Programming. ICLP 1987: 229-256 - [c3]Pascal Van Hentenryck:
A Theoretical Framework for Consistency Techniques in Logic Programming. IJCAI 1987: 2-8 - 1986
- [c2]Pascal Van Hentenryck, Mehmet Dincbas:
Domains in Logic Programming. AAAI 1986: 759-765 - [c1]Mehmet Dincbas, Pascal Van Hentenryck:
Algorithmes d'unification étendue pour l'intégration des langages fonctionnels et logiques. SPLT 1986: 203-232 - no results
Coauthor Index
[c239] [c236] [c233] [i113] [i110] [c228] [i105] [i91] [c226] [c223] [c222] [c221] [i89] [i88] [i86] [i81] [j113] [c220] [c219] [c217] [c215] [c214] [i79] [i77] [i76] [i74] [i72] [i69] [j107] [j99] [c213] [c209] [c207] [c206] [i67] [i66] [i65] [i63] [i59] [i58] [i57] [i54] [i53] [j96] [c205] [c204] [c202] [i52] [i49] [i48] [i47] [i42] [c200] [c199] [i41]
Laurent D. Michel
aka: Laurent Michel
aka: Laurent Michel
[j110] [r1] [j91] [c186] [c168] [c167] [i17] [i16] [c158] [c157] [c151] [c150] [j71] [j70] [i5] [c137] [j65] [j63] [j62] [c129] [c126] [c121] [c111] [c110] [c105] [c104] [c103] [j57] [j55] [c99] [c98] [c97] [b3] [j53] [j52] [j51] [j50] [c85] [c83] [c81] [j48] [j44] [c77] [c74] [c73] [c71] [c70] [c68] [c65] [c62] [j36] [j29] [c57] [c55] [c53] [j24] [b2] [j19] [c50] [c29] [c28]
no results
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
[+][–] Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
[+][–] Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-07-02 19:09 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
