CPAIOR2021: 18TH INTERNATIONAL CONFERENCE ON THE INTEGRATION OF CONSTRAINT PROGRAMMING, ARTIFICIAL INTELLIGENCE AND OPERATIONS RESEARCH

A
Absi, Nabil	Storage Location Assignment Problem in Fast Pick Areas: A novel formulation and decomposition method
Ajwani, Deepak	Learning to Sparsify Travelling Salesman Problem Instances
Akgün, Özgür	Finding Subgraphs with Side Constraints
Anderson, Ross	MipConfigBench: A dataset for learning in the space of Mixed-Integer Programming algorithms
Avgerinos, Ioannis	Logic-Based Benders Decomposition for an Inter-modal Transportation Problem
B
Baart, Robert	Single-Machine Scheduling with Release Times, Deadlines, Setup Times, and Rejection
Balvert, Marleen	IRELAND: an MILP-based algorithm for learning interpretable input-output relationships from large binary classification data
Baudoui, Vincent	A Pipe Routing Hybrid Approach based on A-Star Search and Linear Programming
Beck, J. Christopher	Heavy-Tails and Randomized Restarting Beam Search in Goal-Oriented Neural Sequence Decoding
Bergman, David	Improving Branch-and-Bound using Decision Diagrams and Reinforcement Learning A Two-Phases Exact Algorithm for Optimization of Neural Network Ensemble
Bjorner, Nikolaj	Supercharging Plant Configurations using Z3
Bleidorn, Dominik	Combining Constraint Programming and Time Based Decomposition Approaches – Scheduling of an Industrial Formulation Plant
Borodin, Valeria	Storage Location Assignment Problem in Fast Pick Areas: A novel formulation and decomposition method
Bracher, Adrian	Learning Surrogate Functions for the Short-Horizon Planning in Same-Day Delivery Problems
Bürgler, Josef	Cable Tree Wiring - Benchmarking Solvers on a Real-World Scheduling Problem with a Variety of Precedence Constraints
C
Cappart, Quentin	Improving Branch-and-Bound using Decision Diagrams and Reinforcement Learning SeaPearl: A Constraint Programming Solver guided by Reinforcement Learning
Cardonha, Carlos	A Two-Phases Exact Algorithm for Optimization of Neural Network Ensemble
Carroll, Paula	Learning to Sparsify Travelling Salesman Problem Instances
Cattaruzza, Diego	Storage Location Assignment Problem in Fast Pick Areas: A novel formulation and decomposition method
Chalumeau, Félix	SeaPearl: A Constraint Programming Solver guided by Reinforcement Learning
Cire, Andre	Improving the filtering of Branch-And-Bound MDD solver
Codish, Michael	Complete Symmetry Breaking Constraints For The Class of Uniquely Hamiltonian Graphs
Cohen, Eldan	Heavy-Tails and Randomized Restarting Beam Search in Goal-Oriented Neural Sequence Decoding
Coppé, Vianney	Improving the filtering of Branch-And-Bound MDD solver
Coulon, Ilan	SeaPearl: A Constraint Programming Solver guided by Reinforcement Learning
D
de Weerdt, Mathijs	Single-Machine Scheduling with Release Times, Deadlines, Setup Times, and Rejection
Demirović, Emir	Learning Variable Activity Initialisation for Lazy Clause Generation Solvers
Doudchenko, Nick	MipConfigBench: A dataset for learning in the space of Mixed-Integer Programming algorithms
E
Elmachtoub, Adam	Contextual Optimization: Bridging Machine Learning and Operations
Engell, Sebastian	Combining Constraint Programming and Time Based Decomposition Approaches – Scheduling of an Industrial Formulation Plant
Enright, Jessica	Finding Subgraphs with Side Constraints
F
Fabris, Irene	Partitioning Students into Cohorts during COVID-19
Feyzmahdavian, Hamid Reza	Short-term scheduling of production fleets in underground mines using CP-based LNS
Fitzpatrick, James	Learning to Sparsify Travelling Salesman Problem Instances
Fontana, Urs	Cable Tree Wiring - Benchmarking Solvers on a Real-World Scheduling Problem with a Variety of Precedence Constraints
Formenti, Enrico	MDDs boost equation solving on discrete dynamical systems
Frohner, Nikolaus	Learning Surrogate Functions for the Short-Horizon Planning in Same-Day Delivery Problems
Fux, Etienne	Cable Tree Wiring - Benchmarking Solvers on a Real-World Scheduling Problem with a Variety of Precedence Constraints
G
Geibinger, Tobias	Physician Scheduling During a Pandemic
Gillard, Xavier	Improving the filtering of Branch-And-Bound MDD solver
H
Hanen, Claire	Two Deadline Reduction Algorithms for Scheduling Dependent Tasks on Parallel Processors
He, Lei	Single-Machine Scheduling with Release Times, Deadlines, Setup Times, and Rejection
Herzog, Florian	Cable Tree Wiring - Benchmarking Solvers on a Real-World Scheduling Problem with a Variety of Precedence Constraints
Hill, Alessandro	A Computational Study of Constraint Programming Approaches for Resource-Constrained Project Scheduling with Autonomous Learning Effects
Horn, Matthias	A*-based Compilation of Relaxed Decision Diagrams for the Longest Common Subsequence Problem
Hoshino, Richard	Partitioning Students into Cohorts during COVID-19
I
Itzhakov, Avraham	Complete Symmetry Breaking Constraints For The Class of Uniquely Hamiltonian Graphs
J
Jabbour, Said	Towards a Compact SAT-based Encoding of Itemset Mining Tasks
Jefferson, Christopher	Finding Subgraphs with Side Constraints
Johansson, Mikael	Short-term scheduling of production fleets in underground mines using CP-based LNS
Jung, Victor	Checking Constraint Satisfaction
K
Kadioglu, Serdar	Optimized Item Selection to Boost Exploration for Recommender Systems
Kamel, Nadjet	Towards a Compact SAT-based Encoding of Itemset Mining Tasks
Karahalios, Anthony	Variable Ordering for Decision Diagrams: A Portfolio Approach
Karlsson, Emil	Strengthening of feasibility cuts in logic-based Benders decomposition
Kasapidis, Grigoris	A matheuristic for the Production Routing Problem: Infeasibility Space Search and Mixed Integer Programming
Katz, Guy	Safety in AI Systems: SMT-Based Verification of Deep Neural Networks Formal Reasoning Methods in Machine Learning Explainability Towards verifying AI systems based on deep neural networks Reasoning About the Probabilistic Behavior of Classifiers Certified Artificial Intelligence Explaining Machine Learning Predictions: State-of-the-art, Challenges, and Opportunities
Kiranoudis, Chris	A matheuristic for the Production Routing Problem: Infeasibility Space Search and Mixed Integer Programming
Klanke, Christian	Combining Constraint Programming and Time Based Decomposition Approaches – Scheduling of an Industrial Formulation Plant
Kletzander, Lucas	Physician Scheduling During a Pandemic
Kleynhans, Bernard	Optimized Item Selection to Boost Exploration for Recommender Systems
Koehler, Jana	Cable Tree Wiring - Benchmarking Solvers on a Real-World Scheduling Problem with a Variety of Precedence Constraints
Krainz, Matthias	Physician Scheduling During a Pandemic
Kronqvist, Jan	Between Steps: Intermediate Relaxations between big-M and Convex Hull Formulations
L
Lambers, Roel	The Traveling Social Golfer Problem: the case of the Volleyball Nations League
Levatich, Maxwell	Supercharging Plant Configurations using Z3
Lichocki, Pawel	MipConfigBench: A dataset for learning in the space of Mixed-Integer Programming algorithms
Lombardi, Michele	Injecting Domain Knowledge in Neural Networks: a Controlled Experiment on a Constrained Problem
Lopes, Nuno P.	Supercharging Plant Configurations using Z3
Lozano, Leonardo	A Two-Phases Exact Algorithm for Optimization of Neural Network Ensemble
Lubin, Miles	MipConfigBench: A dataset for learning in the space of Mixed-Integer Programming algorithms
M
Manousakis, Eleftherios	A matheuristic for the Production Routing Problem: Infeasibility Space Search and Mixed Integer Programming
McCreesh, Ciaran	Finding Subgraphs with Side Constraints
Meel, Kuldeep S.	On the Usefulness of Linear Modular Arithmetic in Constraint Programming
Milano, Michela	Injecting Domain Knowledge in Neural Networks: a Controlled Experiment on a Constrained Problem
Mischek, Florian	Physician Scheduling During a Pandemic
Misener, Ruth	Between Steps: Intermediate Relaxations between big-M and Convex Hull Formulations
Mohammadalitajrishi, Mahshid	On the Usefulness of Linear Modular Arithmetic in Constraint Programming
Mourtos, Ioannis	Logic-Based Benders Decomposition for an Inter-modal Transportation Problem
Munier-Kordon, Alix	Two Deadline Reduction Algorithms for Scheduling Dependent Tasks on Parallel Processors
Musliu, Nysret	Conference Opening Physician Scheduling During a Pandemic Conference Closing
N
Nekkache, Ikram	Towards a Compact SAT-based Encoding of Itemset Mining Tasks
P
Paliwal, Aditya	MipConfigBench: A dataset for learning in the space of Mixed-Integer Programming algorithms
Parjadis, Augustin	Improving Branch-and-Bound using Decision Diagrams and Reinforcement Learning
Pedersen, Theo	Two Deadline Reduction Algorithms for Scheduling Dependent Tasks on Parallel Processors
Pesant, Gilles	On the Usefulness of Linear Modular Arithmetic in Constraint Programming
Porrmann, Till	Learning to Reduce State-Expanded Networks for Multi-Activity Shift Scheduling
Pouly, Marc	Cable Tree Wiring - Benchmarking Solvers on a Real-World Scheduling Problem with a Variety of Precedence Constraints
Pralet, Cédric	A Pipe Routing Hybrid Approach based on A-Star Search and Linear Programming
Prosser, Patrick	Finding Subgraphs with Side Constraints
Prunet, Thibault	Storage Location Assignment Problem in Fast Pick Areas: A novel formulation and decomposition method
R
Raidl, Günther R.	A*-based Compilation of Relaxed Decision Diagrams for the Longest Common Subsequence Problem Learning Surrogate Functions for the Short-Horizon Planning in Same-Day Delivery Problems
Regin, Jean-Charles	Checking Constraint Satisfaction
Riva, Sara	MDDs boost equation solving on discrete dynamical systems
Rothuizen, Laurent	The Traveling Social Golfer Problem: the case of the Volleyball Nations League
Rousseau, Louis-Martin	Improving Branch-and-Bound using Decision Diagrams and Reinforcement Learning SeaPearl: A Constraint Programming Solver guided by Reinforcement Learning
Rybalchenko, Andrey	Supercharging Plant Configurations using Z3
Régin, Jean-Charles	MDDs boost equation solving on discrete dynamical systems
Römer, Michael	Learning to Reduce State-Expanded Networks for Multi-Activity Shift Scheduling
Rönnberg, Elina	Strengthening of feasibility cuts in logic-based Benders decomposition
S
Sais, Lakhdar	Towards a Compact SAT-based Encoding of Itemset Mining Tasks
Saller, Sophia	Cable Tree Wiring - Benchmarking Solvers on a Real-World Scheduling Problem with a Variety of Precedence Constraints
Salyaeva, Anastasia	Cable Tree Wiring - Benchmarking Solvers on a Real-World Scheduling Problem with a Variety of Precedence Constraints
Schaus, Pierre	Improving the filtering of Branch-And-Bound MDD solver
Scheiblechner, Peter	Cable Tree Wiring - Benchmarking Solvers on a Real-World Scheduling Problem with a Variety of Precedence Constraints
Silvestri, Mattia	Injecting Domain Knowledge in Neural Networks: a Controlled Experiment on a Constrained Problem
Spieksma, Frits	The Traveling Social Golfer Problem: the case of the Volleyball Nations League
Stanczak, Marvin	A Pipe Routing Hybrid Approach based on A-Star Search and Linear Programming
Stuckey, Peter	Conference Opening Why You Should Constrain Your Machine Learned Models Conference Closing
T
Ticktin, Jordan	A Computational Study of Constraint Programming Approaches for Resource-Constrained Project Scheduling with Autonomous Learning Effects
Tsay, Calvin	Between Steps: Intermediate Relaxations between big-M and Convex Hull Formulations
V
van Driel, Ronald	Learning Variable Activity Initialisation for Lazy Clause Generation Solvers
Van Hoeve, Willem-Jan	Variable Ordering for Decision Diagrams: A Portfolio Approach
Vidal, Vincent	A Pipe Routing Hybrid Approach based on A-Star Search and Linear Programming
Vossen, Thomas	A Computational Study of Constraint Programming Approaches for Resource-Constrained Project Scheduling with Autonomous Learning Effects
Vuppalapati, Chandrasekar	Supercharging Plant Configurations using Z3
W
Waelti, Kai	Cable Tree Wiring - Benchmarking Solvers on a Real-World Scheduling Problem with a Variety of Precedence Constraints
Wang, Keliang	A Two-Phases Exact Algorithm for Optimization of Neural Network Ensemble
Wang, Xin	Optimized Item Selection to Boost Exploration for Recommender Systems
Winter, Felix	Physician Scheduling During a Pandemic
Y
Yfantis, Vassilios	Combining Constraint Programming and Time Based Decomposition Approaches – Scheduling of an Industrial Formulation Plant
Yorke-Smith, Neil	Learning Variable Activity Initialisation for Lazy Clause Generation Solvers
Z
Zachariadis, Emmanouil	A matheuristic for the Production Routing Problem: Infeasibility Space Search and Mixed Integer Programming
Zois, Georgios	Logic-Based Benders Decomposition for an Inter-modal Transportation Problem
Zschaler, Steffen	Finding Subgraphs with Side Constraints
Å
Åstrand, Max	Short-term scheduling of production fleets in underground mines using CP-based LNS

Disclaimer | Powered by EasyChair Smart Program