Table of Contents

• From CP Modeling to Preference Elicitation in HMLV Assembly ProblemsMarco Foschini, Emilio Gamba, Lucas Kletzander, Tias Guns. [doi]
• Enhanced Lower Bound Computation in Branch-and-Bound for MaxSATJialu Zhang, Chu-Min Li 0001, Sami Cherif, Shuolin Li. [doi]
• Computing Short SAT Implicants via Ising/QUBO EncodingsGiuseppe Spallitta, Leonardo Dueñas-Osorio, Moshe Y. Vardi. [doi]
• A Scheduling-Based Approach to Railway Capacity Estimation for Industrial Freight JunctionsLuca Di Gaspero, Alessia Grosso, Giovanni Longo 0001. [doi]
• Learning Unified Graph and Language Representations for SMT Algorithm SelectionZhengyang Lu 0002, Paul Sarnighausen-Cahn, Jiahao Chen, Arie Gurfinkel, Florin Manea, Vijay Ganesh 0001. [doi]
• Revisiting Optional Variables in Lazy Clause Generation Solvers for Flexible SchedulingArthur Bit-Monnot. [doi]
• Combining an ε-Constraint Method with the Pareto Global ConstraintManuel Combarro Simón, Pierre Talbot, Pascal Bouvry. [doi]
• Revisiting Integer Programming Encodings of AcyclicityMasood Feyzbakhsh Rankooh, Matti Järvisalo. [doi]
• Instance Space Analysis and Complexity Estimation for Scheduling ProblemsChristian Pérez, Isabel Catalá, Unai López, Miguel A. Salido. [doi]
• GPU-Accelerated Relaxed Decision Diagrams for Branch-and-Bound OptimizationFabio Tardivo, Laurent Michel, Willem Jan van Hoeve. [doi]
• Modeling the p-Dispersion Problem with Distance ConstraintsPanteleimon Iosif, Nikolaos Ploskas, Kostas Stergiou 0001, Dimos Tsouros. [doi]
• The Distance Constraint on Sequence VariablesMargaux Schmied, Augustin Delecluse, Jean-Charles Régin, Pierre Schaus. [doi]
• An Automata-Based Constraint Programming Framework for Optimal Classical PlanningDamien Van Meerbeeck, Arnaud Lequen, Gilles Pesant, Jendrik Seipp. [doi]
• Lightweight Look-Ahead-Based Value Heuristics for Constraint Optimization ProblemsZiyang Yu, Hongbo Li 0005. [doi]
• On the Self-Stabilization of Dijkstra's Asynchronous Token CirculationAsma Khoualdia, Sami Cherif, Stéphane Devismes, Léo Robert. [doi]
• An Iterative Constraint Programming Approach to Integrate Maximum Workload Constraints in Preemptive Jobshop Scheduling (Short Paper)Tanguy Terrien, Cyrille Briand. [doi]
• On Symmetries and TransformationsDaimy Van Caudenberg, Markus Anders, Bart Bogaerts 0001. [doi]
• Towards Step-Wise Explanations of Large Search Trees (Short Paper)Ignace Bleukx, Peter J. Stuckey, Tias Guns. [doi]
• Identifying Multi-Hit Cancer Drivers Without Massive Parallelization: A CP, MIP, and Column Generation FrameworkRick S. H. Willemsen, Tenindra Abeywickrama, Ramu Anandakrishnan. [doi]
• From Literals to Atomic Constraints: Generalising Conflict-Driven Clause Learning for Constraint ProgrammingImko Marijnissen, Maarten Flippo, Emir Demirovic. [doi]
• Modelling and Optimizing HVAC Systems for Early-Stage Building DesignVictor Calixto, Camilo Cruz Gambardella, Amin Karimi, Pierre Le Bodic, Allen Z. Zhong. [doi]
• Proof Logging for Projected Enumeration (and Counting?) Problems in VeriPBCiaran McCreesh, Jakob Nordström, Andy Oertel, Yong Kiam Tan. [doi]
• The CP Shortcut: Solving the High-Power Pump Activation Problem Without the Overkill (Short Paper)Mohamed-Anass Gallass, Philippe Greiner, Antoine Tuerlinckx, Hélène Verhaeghe. [doi]
• Smart Cubing for Graph Search: A Comparative StudyMarkus Kirchweger, Tomás Peitl, Stefan Szeider, Hai Xia 0001. [doi]
• End-to-End Certified Graph ColouringSimon Dold 0001, George Katsirelos, Wietze Koops, Magnus O. Myreen, Jakob Nordström, Andy Oertel, Yong Kiam Tan. [doi]
• The Voice of the Flow: A Graph-Based Approach for Step-Wise Explanations of Constraint Satisfaction ProblemsMinh Anh Nguyen, Tien Mai, Hoong Chuin Lau. [doi]
• CrewAId: Interactive Optimisation for Human-In-The-Loop Crew Rostering and RerosteringMatthias Klapperstueck, Frits de Nijs, Ilankaikone Senthooran, Matteo Miceli, Michael Wybrow. [doi]
• Fairness of Classifiers in the Presence of Constraints Between FeaturesMartin C. Cooper, Imane Bousdira. [doi]
• A Constraint Programming Approach for n-Day Lookahead Playoff Clinching in the NHLGili Rosenberg, Kyle E. C. Booth, John Kyle Brubaker, Ruben S. Andrist. [doi]
• A Two-Stage Constraint Programming Approach for Artificial Teeth SchedulingFelix Winter. [doi]
• Classification of Non-Redundancy of Boolean Predicates of Arity 4Joshua Brakensiek, Venkatesan Guruswami, Aaron Putterman. [doi]
• Table Constraints for Integer ProgrammingHendrik Bierlee, Wout Piessens, Tias Guns, Peter J. Stuckey. [doi]
• Constraint-Aware Self-Supervised Learning for Edge SelectionXinda Zheng, Frits de Nijs, Edward Lam 0001. [doi]
• Linear-Memory Beam Search Algorithms in Domain-Independent Dynamic ProgrammingYuxiao Chen, J. Christopher Beck. [doi]
• Formally Verified Certification of Constraint Programming ProofsMaarten Flippo, Konstantin Sidorov, Tip ten Brink, Clément Pit-Claudel, Emir Demirovic. [doi]
• Solving the Multiple Constant Multiplication Problem with Constraint ProgrammingThéo Cantaloube, Xiao Peng, Christine Solnon, Anastasia Volkova 0001. [doi]
• Decision Diagrams for Constraint Reasoning and Optimization (Invited Talk)Willem Jan van Hoeve. [doi]
• Augmenting the Cumulative Overload Check with Integral Resource Usage ReasoningSamuel Cloutier, Claude-Guy Quimper. [doi]
• Column Generation with Domain-Independent Dynamic ProgrammingRyo Kuroiwa 0002, Edward Lam 0001. [doi]
• Front Matter, Table of Contents, Preface, Conference Organization [doi]
• Optimizing a Multi-Commodity Home-Delivery and Pickup Service in Depopulated Rural Areas with Constraint ProgrammingRyo Kuroiwa 0002, Tomoki Hasegawa, Eiji Ueda, Naoki Akiyama, Akira Yoshioka. [doi]
• ScenaGen: A CP Model for Grounding Qualitative Driving ScenariosNassim Belmecheri, Arnaud Gotlieb, Nadjib Lazaar, Helge Spieker. [doi]
• Constraint Programming for Curriculum-Based High School Timetabling with Half-BlocksBérénice Dubois, Stephen Walsh, Quentin Cappart. [doi]
• VIPR Certificate Construction from Black-Box ILP SolversStefan Szeider. [doi]
• Constraint Solving and Particle Swarm Optimization for Fixture Layout OptimizationAnna Vitali, Roberto Amadini, Vittorio Maniezzo, Maurizio Gabbrielli. [doi]
• On Inferring Cumulative ConstraintsKonstantin Sidorov. [doi]
• Equal-Sized Partition Problem: Application in Spinning and Yarn ProductionQuoc Trung Bui. [doi]
• Constraint Programming for Mixed-Model Assembly Line Scheduling with Complex Industrial ConstraintsGuillaume Povéda, Javier Buil Tejero, Tamara Borreguero-Sanchidrián. [doi]
• Approximating Time-Dependent Transition Times in Constraint Programming for an Earth Observation MissionRomain Barrault, Cédric Pralet, Gauthier Picard, Eric Sawyer. [doi]
• Neurosymbolic Large Neighbourhood SearchArnaud Delage-Reid, Gilles Pesant, Amal Zouaq. [doi]
• Configuration of Heterogeneous Agent Fleets for Cognitively Demanding MissionsLucas Ligny, Stéphanie Roussel 0001, Gauthier Picard, Élise Vareilles. [doi]
• Utility-Peak Itemset Mining with Constraint ProgrammingChaima Hamdi, Nadjib Lazaar, Nassim Belmecheri, Djawad Bekkoucha, Saïd Jabbour, Lakhdar Saïs. [doi]
• An Offline Neuro-Symbolic Football Pattern Retrieval Approach Using Constraint ProgrammingAugustin Crespin, Pierre Schaus. [doi]
• Accelerating Constraint Programming Solver with Parallel External Heuristics: Experiments on Scheduling and Routing ProblemsVilém Heinz, Simon Zvára, Vít Knobloch, Zdenek Hanzálek, Petr Vilím. [doi]
• On the Effect of Training Data Selection in Automated Algorithm SelectionErdem Kus, Özgür Akgün, Nguyen Dang 0001, Lars Kotthoff, Ian Miguel. [doi]
• Assembly Line Balancing with Parallel Stations and Shared Resources: A Cycle-Relative Constraint Programming ApproachDiego Olivier Fernandez Pons, Pierre Schaus. [doi]
• Satisfiability for Large Weight Syndrome DecodingCarl Berton, Sami Cherif, Claire Delaplace. [doi]
• From LLM Suggestions to Lean Proofs: Verified Redundant Constraints for MiniZincPhilipp Danzinger, Nysret Musliu. [doi]
• Paratransit Optimization with Constraint Programming: A Case Study in Savannah, GeorgiaLiam Jagrowski, Kevin Dalmeijer, Tinghan Ye, Pascal Van Hentenryck. [doi]
• Bridging the Gap: Foundedness, Defaults, and Expressivity in Constraint Answer Set Programming (Invited Talk)Torsten Schaub. [doi]
• GRID: Graph-Based Modelling Interface for Domain-Independent Dynamic ProgrammingFabio Giordana, Zeynep Kiziltan, Ryo Kuroiwa 0002. [doi]
• Not All Restarts Are Equal: MAB-Learning at the Right Time Scale for SATJinghu Liang, Sami Cherif, Chu-Min Li 0001. [doi]
• Efficient Explanations for Rule EnsemblesHao Hu 0008, Alexey Ignatiev, João Marques-Silva 0001. [doi]
• Scaling Industrial Logistics: Tackling Multi-Batching Problems via Sequential SolvingEmmanuelle Dietz, Guillaume Povéda, Karl Henning, Clara Buire. [doi]
• Automatic Relaxation and Multi-Armed Bandit Learning for Large Neighbourhood SearchFrej Knutar Lewander, Pierre Flener, Justin Pearson, Peter J. Stuckey. [doi]