CPAIOR 2023: THE 20TH INTERNATIONAL CONFERENCE ON THE INTEGRATION OF CONSTRAINT PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND OPERATIONS RESEARCH

A
Agost, Rodrigo Acuna	OR and AI Applications in the Travel Industry
Alcántara, Antonio	A Neural Network-Based Distributional Constraint Learning Methodology for Mixed-Integer Stochastic Optimization
Allouche, David	Virtual Pairwise Consistency in Cost Function Networks
Anjos, Miguel	Contextual Robust Optimisation with Uncertainty Quantification
B
Bai, Yiwei	Efficiently Approximating High-dimensional Pareto Frontiers for Tree-structured Networks using Expansion and Compression
Balvert, Marleen	Finding Boolean rules in binary data by counting ones
Beck, Chris	Objective-Based Counterfactual Explanations for Linear Discrete Optimization Domain-Independent Dynamic Programming: A Novel Model-Based Paradigm Bridging AI and OR
Beldiceanu, Nicolas	Boolean-Arithmetic Equations: Acquisition and Uses
Berthold, Timo	Cutting Plane Selection with Analytic Centers and Multiregression
Besancon, Mathieu	Cutting Plane Selection with Analytic Centers and Multiregression
Birbil, Ilker	Finding Regions of Counterfactual Explanations via Robust Optimization
Bonasera, Lorenzo	Optimal Shapelets Tree for Time Series Interpretable Classification
Burlats, Auguste	Exploiting Entropy in Constraint Programming
C
Cai, Junyang	Getting away with more network pruning: From sparsity to geometry and linear regions
Carvalho, Margarida	OAMIP: Optimizing ANN Architectures using Mixed-Integer Programming
Chanpiwat, Pattanun	Optimizing Operations Planning of Stand-Alone Battery Storage Using Stochastic Dual Dynamic Programming: A Case Study of German Households
Chembu, Aravinth	Scalable and Near-Optimal epsilon-tube Clusterwise Regression
Cheukam Ngouonou, Jovial	Boolean-Arithmetic Equations: Acquisition and Uses
Chmiela, Antonia	Online Learning for Scheduling MIP Heuristics
Choi, Yeonjun	An iterated greedy constraint programming for the steelmaking continuous casting scheduling
Cire, Andre Augusto	The 20 Papers of 20 Years On Risk and Tractability in Transportation Models
Codish, Michael	Breaking Symmetries with High Dimensional Graph Invariants and their Combination
Cohen, Eldan	Interpretable Clustering via Soft Clustering Trees
D
Dakle, Parag Pravin	NER4OPT: Named Entity Recognition for Optimization Modelling from Natural Language
de Backer, Bruno	Solving routing problems at Google scale.
de Givry, Simon	Virtual Pairwise Consistency in Cost Function Networks
De Vos, Wout	Finding Boolean rules in binary data by counting ones
den Hertog, Dick	Finding Regions of Counterfactual Explanations via Robust Optimization
Dickerson, John Paul	Robustness, Privacy, Fairness, and Credibility? Pushing the Boundaries of Economic Design with Deep Learning
Dilkas, Paulius	Generating Random Instances of Weighted Model Counting: An Empirical Analysis with Varying Primal Treewidth
Dilkina, Bistra	CPAIOR 2024 Predicting Wildlife Trafficking Routes with Differentiable Shortest Paths Local Branching Relaxation Heuristics for Integer Linear Programs
Douence, Rémi	Boolean-Arithmetic Equations: Acquisition and Uses
Dovier, Agostino	Constraint Propagation on GPU: A Case Study for the Cumulative Constraint
Dubois, Louis	Multi-Objective Optimization for Designing Salary Structures
E
Efthymiou, Nikolaos	Predicting the Optimal Period for Cyclic Hoist Scheduling Problems
Elaraby, Mostafa	OAMIP: Optimizing ANN Architectures using Mixed-Integer Programming
F
Fargier, Helene	Combining incomplete search and clause generation: an application to the Orienteering Problem with Time Windows
Feng, Wenxiu	Online data-driven stochastic optimization with contextual features: an application in electricity market
Ferber, Aaron	Predicting Wildlife Trafficking Routes with Differentiable Shortest Paths Local Branching Relaxation Heuristics for Integer Linear Programs
Finkelstein, Arthur	Public transit routing : From the shortest path to the multi-objective problem Solving routing problems at Google scale.
Flecker, Alexander	Efficiently Approximating High-dimensional Pareto Frontiers for Tree-structured Networks using Expansion and Compression
Formisano, Andrea	Constraint Propagation on GPU: A Case Study for the Cumulative Constraint
Frejinger, Emma	Arc travel time and path choice model estimation subsumed
G
Gabriel, Steven A.	Optimizing Operations Planning of Stand-Alone Battery Storage Using Stochastic Dual Dynamic Programming: A Case Study of German Households
Gentzel, Rebecca	Optimization Bounds from Decision Diagrams in Haddock
Gindullin, Ramiz	Boolean-Arithmetic Equations: Acquisition and Uses
Gleixner, Ambros	Online Learning for Scheduling MIP Heuristics
Goedhart, Rob	Finding Regions of Counterfactual Explanations via Robust Optimization
Gomes, Carla	Efficiently Approximating High-dimensional Pareto Frontiers for Tree-structured Networks using Expansion and Compression
Good, Aidan	Getting away with more network pruning: From sparsity to geometry and linear regions
Gore, Meredith	Predicting Wildlife Trafficking Routes with Differentiable Shortest Paths
Griffin, Emily	Predicting Wildlife Trafficking Routes with Differentiable Shortest Paths
Grimson, Marc	Efficiently Approximating High-dimensional Pareto Frontiers for Tree-structured Networks using Expansion and Compression
Gualandi, Stefano	Optimal Shapelets Tree for Time Series Interpretable Classification
H
Hamacher, Silvio	Data-driven joint chance-constrained optimization for the workover rig scheduling problem
Hojny, Christopher	Handling Symmetries in Mixed-Integer Semidefinite Programs
Houssin, Laurent	Constraint programming for the robust two-machine flow-shop scheduling problem with budgeted uncertainty
Hu, Xinyi	Branch & Learn with Post-hoc Correction for Predict+Optimize with Unknown Parameters in Constraints
Huang, Taoan	Local Branching Relaxation Heuristics for Integer Linear Programs
I
Isoart, Nicolas	The TSP in CP
Ito, Takehiro	ZDD-Based Algorithmic Framework for Solving Shortest Reconfiguration Problems
Itzhakov, Avraham	Breaking Symmetries with High Dimensional Graph Invariants and their Combination
J
Jeong, Jihwan	A Mixed-Integer Linear Programming Reduction of Disjoint Bilinear Programs via Symbolic Variable Elimination
Junker, Ulrich	20th edition: A short history of the creation of CPAIOR
Juvin, Carla	Constraint programming for the robust two-machine flow-shop scheduling problem with budgeted uncertainty
K
Kadioglu, Serdar	NER4OPT: Named Entity Recognition for Optimization Modelling from Natural Language
Karahalios, Anthony	Column Elimination for Capacitated Vehicle Routing Problems
Katsirelos, George	Virtual Pairwise Consistency in Cost Function Networks
Kawahara, Jun	ZDD-Based Algorithmic Framework for Solving Shortest Reconfiguration Problems
Keskin, Burcu	Predicting Wildlife Trafficking Routes with Differentiable Shortest Paths
Khalil, Elias	Scalable and Near-Optimal epsilon-tube Clusterwise Regression Graphs, Constraints, and Search for the Abstraction and Reasoning Corpus
Kim, Dongyun	An iterated greedy constraint programming for the steelmaking continuous casting scheduling
Koch, Thorsten	Cutting Plane Selection with Analytic Centers and Multiregression
Korikov, Anton	Objective-Based Counterfactual Explanations for Linear Discrete Optimization
Kumar, Akshat	A Mixed-Integer Linear Programming Reduction of Disjoint Bilinear Programs via Symbolic Variable Elimination
Kuroiwa, Ryo	Domain-Independent Dynamic Programming: A Novel Model-Based Paradigm Bridging AI and OR
Kurtz, Jannis	Finding Regions of Counterfactual Explanations via Robust Optimization
L
Lee, Jasper C.H.	Branch & Learn with Post-hoc Correction for Predict+Optimize with Unknown Parameters in Constraints
Lee, Jimmy H.M.	Branch & Learn with Post-hoc Correction for Predict+Optimize with Unknown Parameters in Constraints
Lee, Kangbok	An iterated greedy constraint programming for the steelmaking continuous casting scheduling
Lee, Myungho	An iterated greedy constraint programming for the steelmaking continuous casting scheduling
Lichocki, Pawel	Online Learning for Scheduling MIP Heuristics
Ljubić, Ivana	Bilevel Optimization Under Uncertainty: Challenges and Opportunities
Lodi, Andrea	Neural Networks for Local Search and Crossover in Vehicle Routing: A Possible Overkill?
Lopez, Pierre	Constraint programming for the robust two-machine flow-shop scheduling problem with budgeted uncertainty
M
Maragno, Donato	Finding Regions of Counterfactual Explanations via Robust Optimization
Martins Santos, Iuri	Data-driven joint chance-constrained optimization for the workover rig scheduling problem
Michel, Laurent	Optimization Bounds from Decision Diagrams in Haddock Constraint Propagation on GPU: A Case Study for the Cumulative Constraint
Mohammadpour, Sobhan	Arc travel time and path choice model estimation subsumed
Montalbano, Pierre	Virtual Pairwise Consistency in Cost Function Networks
Moon, Kyungduk	An iterated greedy constraint programming for the steelmaking continuous casting scheduling
N
Nakahata, Yu	ZDD-Based Algorithmic Framework for Solving Shortest Reconfiguration Problems
Nguyen, Khai-Nguyen	Getting away with more network pruning: From sparsity to geometry and linear regions
O
Oliveira, Fabricio	Optimizing Operations Planning of Stand-Alone Battery Storage Using Stochastic Dual Dynamic Programming: A Case Study of German Households Data-driven joint chance-constrained optimization for the workover rig scheduling problem
P
Peršak, Egon	Contextual Robust Optimisation with Uncertainty Quantification
Pesant, Gilles	A Weighted Counting Algorithm for the Circuit Constraint Exploiting Entropy in Constraint Programming
Pezzoli, Gauthier	A Weighted Counting Algorithm for the Circuit Constraint
Pfetsch, Marc E.	Handling Symmetries in Mixed-Integer Semidefinite Programs
Piché-Meunier, Dominique	Multi-Objective Optimization for Designing Salary Structures
Pinedo, Michael	An iterated greedy constraint programming for the steelmaking continuous casting scheduling
Pokutta, Sebastian	Online Learning for Scheduling MIP Heuristics
Politi, Regina	NER4OPT: Named Entity Recognition for Optimization Modelling from Natural Language
Pontelli, Enrico	Constraint Propagation on GPU: A Case Study for the Cumulative Constraint
Pralet, Cédric	Combining incomplete search and clause generation: an application to the Orienteering Problem with Time Windows Scheduling Complex Observation Requests for a Constellation of Satellites: Large Neighborhood Search Approaches
Q
Quimper, Claude-Guy	Boolean-Arithmetic Equations: Acquisition and Uses
R
Raghavan, Preethi	NER4OPT: Named Entity Recognition for Optimization Modelling from Natural Language
Rallabandi, Saikrishna	NER4OPT: Named Entity Recognition for Optimization Modelling from Natural Language
Roussel, Stéphanie	Scheduling Complex Observation Requests for a Constellation of Satellites: Large Neighborhood Search Approaches
Ruiz, Carlos	A Neural Network-Based Distributional Constraint Learning Methodology for Mixed-Integer Stochastic Optimization Online data-driven stochastic optimization with contextual features: an application in electricity market
Régin, Jean-Charles	20th edition: A short history of the creation of CPAIOR
Röber, Tabea	Finding Regions of Counterfactual Explanations via Robust Optimization
S
Sanner, Scott	Scalable and Near-Optimal epsilon-tube Clusterwise Regression A Mixed-Integer Linear Programming Reduction of Disjoint Bilinear Programs via Symbolic Variable Elimination Graphs, Constraints, and Search for the Abstraction and Reasoning Corpus
Santana, Ítalo	Neural Networks for Local Search and Crossover in Vehicle Routing: A Possible Overkill?
Serra, Thiago	Getting away with more network pruning: From sparsity to geometry and linear regions
Shi, Qinru	Efficiently Approximating High-dimensional Pareto Frontiers for Tree-structured Networks using Expansion and Compression
Shrestha, Nishant	Getting away with more network pruning: From sparsity to geometry and linear regions
Soh, Takehide	ZDD-Based Algorithmic Framework for Solving Shortest Reconfiguration Problems
Squillaci, Samuel	Scheduling Complex Observation Requests for a Constellation of Satellites: Large Neighborhood Search Approaches
Srinivasamurthy, Ravisutha	NER4OPT: Named Entity Recognition for Optimization Modelling from Natural Language
Steiner, Benoit	Local Branching Relaxation Heuristics for Integer Linear Programs
Suzuki, Akira	ZDD-Based Algorithmic Framework for Solving Shortest Reconfiguration Problems
T
Tardivo, Fabio	Constraint Propagation on GPU: A Case Study for the Cumulative Constraint
Teruyama, Junichi	ZDD-Based Algorithmic Framework for Solving Shortest Reconfiguration Problems
Tian, Yuandong	Local Branching Relaxation Heuristics for Integer Linear Programs
Toda, Takahisa	ZDD-Based Algorithmic Framework for Solving Shortest Reconfiguration Problems
Tran, Trong-Hieu	Combining incomplete search and clause generation: an application to the Orienteering Problem with Time Windows
Tremblay, François-Alexandre	Multi-Objective Optimization for Designing Salary Structures
Tu, Ruisen	Getting away with more network pruning: From sparsity to geometry and linear regions
Turner, Mark	Cutting Plane Selection with Analytic Centers and Multiregression
U
Uppuluri, Karthik	NER4OPT: Named Entity Recognition for Optimization Modelling from Natural Language
V
Van Hoeve, Willem-Jan	Column Elimination for Capacitated Vehicle Routing Problems Decision Diagram Relaxations for Vehicle Routing Optimization Bounds from Decision Diagrams in Haddock
Vidal, Thibaut	Neural Networks for Local Search and Crossover in Vehicle Routing: A Possible Overkill?
W
Werner, Tomas	Virtual Pairwise Consistency in Cost Function Networks
Wolf, Guy	OAMIP: Optimizing ANN Architectures using Mixed-Integer Programming
X
Xu, Yudong	Graphs, Constraints, and Search for the Abstraction and Reasoning Corpus
Y
Yorke-Smith, Neil	Predicting the Optimal Period for Cyclic Hoist Scheduling Problems
Yu, Xin	Getting away with more network pruning: From sparsity to geometry and linear regions
Z
Zhe, Shandian	Getting away with more network pruning: From sparsity to geometry and linear regions

Disclaimer | Powered by EasyChair Smart Program