Abstract is missing.
- Supercharging Plant Configurations Using Z3Nikolaj Bjørner, Maxwell Levatich, Nuno P. Lopes, Andrey Rybalchenko, Chandrasekar Vuppalapati. 1-25 [doi]
- A Computational Study of Constraint Programming Approaches for Resource-Constrained Project Scheduling with Autonomous Learning EffectsAlessandro Hill, Jordan Ticktin, Thomas W. M. Vossen. 26-44 [doi]
- Strengthening of Feasibility Cuts in Logic-Based Benders DecompositionEmil Karlsson, Elina Rönnberg. 45-61 [doi]
- Learning Variable Activity Initialisation for Lazy Clause Generation SolversRonald van Driel, Emir Demirovic, Neil Yorke-Smith. 62-71 [doi]
- *-Based Compilation of Relaxed Decision Diagrams for the Longest Common Subsequence ProblemMatthias Horn, Günther R. Raidl. 72-88 [doi]
- Partitioning Students into Cohorts During COVID-19Richard Hoshino, Irene Fabris. 89-105 [doi]
- A Two-Stage Exact Algorithm for Optimization of Neural Network EnsembleKeliang Wang, Leonardo Lozano, David Bergman, Carlos Cardonha. 106-114 [doi]
- Heavy-Tails and Randomized Restarting Beam Search in Goal-Oriented Neural Sequence DecodingEldan Cohen, J. Christopher Beck. 115-132 [doi]
- Combining Constraint Programming and Temporal Decomposition Approaches - Scheduling of an Industrial Formulation PlantChristian Klanke, Dominik R. Bleidorn, Vassilios Yfantis, Sebastian Engell. 133-148 [doi]
- The Traveling Social Golfer Problem: The Case of the Volleyball Nations LeagueRoel Lambers, Laurent Rothuizen, Frits C. R. Spieksma. 149-162 [doi]
- Towards a Compact SAT-Based Encoding of Itemset Mining TasksIkram Nekkache, Saïd Jabbour, Lakhdar Sais, Nadjet Kamel. 163-178 [doi]
- A Pipe Routing Hybrid Approach Based on A-Star Search and Linear ProgrammingMarvin Stanczak, Cédric Pralet, Vincent Vidal 0001, Vincent Baudoui. 179-195 [doi]
- MDDs Boost Equation Solving on Discrete Dynamical SystemsEnrico Formenti, Jean-Charles Régin, Sara Riva. 196-213 [doi]
- Two Deadline Reduction Algorithms for Scheduling Dependent Tasks on Parallel ProcessorsClaire Hanen, Alix Munier Kordon, Theo Pedersen. 214-230 [doi]
- Improving the Filtering of Branch-and-Bound MDD SolverXavier Gillard, Vianney Coppé, Pierre Schaus, André Augusto Ciré. 231-247 [doi]
- On the Usefulness of Linear Modular Arithmetic in Constraint ProgrammingGilles Pesant, Kuldeep S. Meel, Mahshid Mohammadalitajrishi. 248-265 [doi]
- Injecting Domain Knowledge in Neural Networks: A Controlled Experiment on a Constrained ProblemMattia Silvestri, Michele Lombardi 0001, Michela Milano. 266-282 [doi]
- Learning Surrogate Functions for the Short-Horizon Planning in Same-Day Delivery ProblemsAdrian Bracher, Nikolaus Frohner, Günther R. Raidl. 283-298 [doi]
- Between Steps: Intermediate Relaxations Between Big-M and Convex Hull FormulationsJan Kronqvist, Ruth Misener, Calvin Tsay. 299-314 [doi]
- Logic-Based Benders Decomposition for an Inter-modal Transportation ProblemIoannis Avgerinos, Ioannis Mourtos, Georgios Zois. 315-331 [doi]
- Checking Constraint SatisfactionVictor Jung, Jean-Charles Régin. 332-347 [doi]
- Finding Subgraphs with Side ConstraintsÖzgür Akgün, Jessica Enright, Christopher Jefferson, Ciaran McCreesh, Patrick Prosser, Steffen Zschaler. 348-364 [doi]
- Short-Term Scheduling of Production Fleets in Underground Mines Using CP-Based LNSMax Åstrand, Mikael Johansson 0001, Hamid Reza Feyzmahdavian. 365-382 [doi]
- Learning to Reduce State-Expanded Networks for Multi-activity Shift SchedulingTill Porrmann, Michael Römer. 383-391 [doi]
- SeaPearl: A Constraint Programming Solver Guided by Reinforcement LearningFélix Chalumeau, Ilan Coulon, Quentin Cappart, Louis-Martin Rousseau. 392-409 [doi]
- Learning to Sparsify Travelling Salesman Problem InstancesJames Fitzpatrick, Deepak Ajwani, Paula Carroll. 410-426 [doi]
- Optimized Item Selection to Boost Exploration for Recommender SystemsSerdar Kadioglu, Bernard Kleynhans, Xin Wang. 427-445 [doi]
- Improving Branch-and-Bound Using Decision Diagrams and Reinforcement LearningAugustin Parjadis, Quentin Cappart, Louis-Martin Rousseau, David Bergman. 446-455 [doi]
- Physician Scheduling During a PandemicTobias Geibinger, Lucas Kletzander, Matthias Krainz, Florian Mischek, Nysret Musliu, Felix Winter. 456-465 [doi]