Abstract is missing.
- The HyperTrac Project: Recent Progress and Future Research Directions on Hypergraph DecompositionsGeorg Gottlob, Matthias Lanzinger, Davide Mario Longo, Cem Okulmus, Reinhard Pichler. 3-21 [doi]
- Restarting Algorithms: Sometimes There Is Free LunchSebastian Pokutta. 22-38 [doi]
- Discriminating Instance Generation from Abstract Specifications: A Case Study with CP and MIPÖzgür Akgün, Nguyen Dang 0001, Ian Miguel, András Z. Salamon, Patrick Spracklen, Christopher Stone. 41-51 [doi]
- Bilevel Optimization for On-Demand Multimodal Transit SystemsBeste Basciftci, Pascal Van Hentenryck. 52-68 [doi]
- Local Search and Constraint Programming for a Real-World Examination Timetabling ProblemMichele Battistutta, Sara Ceschia, Fabio De Cesco, Luca Di Gaspero, Andrea Schaerf, Elena Topan. 69-81 [doi]
- Parameterised Bounds on the Sum of Variables in Time-Series ConstraintsNicolas Beldiceanu, Maria-Isabel Restrepo-Ruiz, Helmut Simonis. 82-98 [doi]
- A Learning-Based Algorithm to Quickly Compute Good Primal Solutions for Stochastic Integer ProgramsYoshua Bengio, Emma Frejinger, Andrea Lodi 0001, Rahul Patel, Sriram Sankaranarayanan 0002. 99-111 [doi]
- Integer Programming Techniques for Minor-Embedding in Quantum AnnealersDavid E. Bernal, Kyle E. C. Booth, Raouf Dridi, Hedayat Alghassi, Sridhar R. Tayur, Davide Venturelli. 112-129 [doi]
- An Ising Framework for Constrained Clustering on Special Purpose HardwareEldan Cohen, Arik Senderovich, J. Christopher Beck. 130-147 [doi]
- From MiniZinc to Optimization Modulo Theories, and BackFrancesco Contaldo, Patrick Trentin, Roberto Sebastiani. 148-166 [doi]
- Transfer-Expanded Graphs for On-Demand Multimodal Transit SystemsKevin Dalmeijer, Pascal Van Hentenryck. 167-175 [doi]
- Reinforcement Learning for Variable Selection in a Branch and Bound AlgorithmMarc Etheve, Zacharie Alès, Côme Bissuel, Olivier Juan, Safia Kedad-Sidhoum. 176-185 [doi]
- Duplex Encoding of Staircase At-Most-One Constraints for the Antibandwidth ProblemKatalin Fazekas, Markus Sinnl, Armin Biere, Sophie N. Parragh. 186-204 [doi]
- Core-Guided and Core-Boosted Search for CPGraeme Gange, Jeremias Berg, Emir Demirovic, Peter J. Stuckey. 205-221 [doi]
- Robust Resource Planning for Aircraft Ground OperationsYagmur S. Gök, Daniel Guimarans, Peter J. Stuckey, Maurizio Tomasella, Cemalettin Ozturk. 222-238 [doi]
- Primal Heuristics for Wasserstein BarycentersPierre-Yves Bouchet, Stefano Gualandi, Louis-Martin Rousseau. 239-255 [doi]
- An Exact CP Approach for the Cardinality-Constrained Euclidean Minimum Sum-of-Squares Clustering ProblemMohammed Najib Haouas, Daniel Aloise, Gilles Pesant. 256-272 [doi]
- Minimum Cycle Partition with Length RequirementsKai Hoppmann, Gioni Mexi, Oleg Burdakov, Carl Johan Casselgren, Thorsten Koch. 273-282 [doi]
- Optimizing Student Course Preferences in School TimetablingRichard Hoshino, Irene Fabris. 283-299 [doi]
- Adaptive CP-Based Lagrangian Relaxation for TSP SolvingNicolas Isoart, Jean-Charles Régin. 300-316 [doi]
- Minimal Perturbation in University Timetabling with Maximum SatisfiabilityAlexandre Lemos, Pedro T. Monteiro, Inês Lynce. 317-333 [doi]
- Leveraging Constraint Scheduling: A Case Study to the Textile IndustryAlexandre Mercier-Aubin, Jonathan Gaudreault, Claude-Guy Quimper. 334-346 [doi]
- Template Matching and Decision Diagrams for Multi-agent Path FindingJayanth Krishna Mogali, Willem Jan van Hoeve, Stephen F. Smith. 347-363 [doi]
- Hybrid Classification and Reasoning for Image-Based Constraint SolvingMaxime Mulamba, Jayanta Mandi, Rocsildes Canoy, Tias Guns. 364-380 [doi]
- Multi-speed Gearbox Synthesis Using Global Search and Non-convex OptimizationChiara Piacentini, Hyunmin Cheong, Mehran Ebrahimi, Adrian Butscher. 381-398 [doi]
- Enumerative Branching with Less RepetitionThiago Serra. 399-416 [doi]
- Lossless Compression of Deep Neural NetworksThiago Serra, Abhinav Kumar 0004, Srikumar Ramalingam. 417-430 [doi]
- CP and Hybrid Models for Two-Stage Batching and SchedulingTanya Y. Tang, J. Christopher Beck. 431-446 [doi]
- Improving a Branch-and-Bound Approach for the Degree-Constrained Minimum Spanning Tree Problem with LKHMaximilian Thiessen, Luis Quesada 0001, Kenneth N. Brown. 447-456 [doi]
- Insertion Sequence Variables for Hybrid Routing and Scheduling ProblemsCharles Thomas 0005, Roger Kameugne, Pierre Schaus. 457-474 [doi]
- Relaxation-Aware Heuristics for Exact Optimization in Graphical ModelsFulya Trösser, Simon de Givry, George Katsirelos. 475-491 [doi]
- Exact Method Approaches for the Differential Harvest ProblemGabriel Volte, Eric Bourreau, Rodolphe Giroudeau, Olivier Naud. 492-510 [doi]
- Scheduling of Dual-Arm Multi-tool Assembly Robots and Workspace Layout OptimizationJohan Wessén, Mats Carlsson, Christian Schulte 0001. 511-520 [doi]
- Conflict-Free Learning for Mixed Integer ProgrammingJakob Witzig, Timo Berthold. 521-530 [doi]