Approximating Time-Dependent Transition Times in Constraint Programming for an Earth Observation Mission
Romain Barrault, Cédric Pralet, Gauthier Picard, and Eric Sawyer
ScenaGen: A CP Model for Grounding Qualitative Driving Scenarios
Nassim Belmecheri, Arnaud Gotlieb, Nadjib Lazaar, and Helge Spieker
Satisfiability for Large Weight Syndrome Decoding
Carl Berton, Sami Cherif, and Claire Delaplace
Table Constraints for Integer Programming
Hendrik Bierlee, Wout Piessens, Tias Guns, and Peter J. Stuckey
Revisiting Optional Variables in Lazy Clause Generation Solvers for Flexible Scheduling
Arthur Bit-Monnot
Classification of Non-redundancy of Boolean Predicates of Arity 4
Joshua Brakensiek, Venkatesan Guruswami, and Aaron Putterman
Equal-sized Partition Problem: Application in Spinning and Yarn Production
Quoc-Trung Bui
Modelling and Optimizing HVAC Systems for Early-Stage Building Design
Victor Calixto, Camilo Cruz Gambardella, Amin Karimi, Pierre Le Bodic, and Allen Z. Zhong
Solving the Multiple Constant Multiplication Problem with Constraint Programming
Théo Cantaloube, Xiao Peng, Christine Solnon, and Anastasia Volkova
Linear-Memory Beam Search Algorithms in Domain-Independent Dynamic Programming
Yuxiao Chen and J. Christopher Beck
Augmenting the Cumulative Overload Check with Integral Resource Usage Reasoning
Samuel Cloutier and Claude-Guy Quimper
Combining an ε-Constraint Method with the Pareto Global Constraint
Manuel Combarro Simón, Pierre Talbot, and Pascal Bouvry
Fairness of Classifiers in the Presence of Constraints between Features
Martin C. Cooper and Imane Bousdira
An Offline Neuro-Symbolic Football Pattern Retrieval Approach Using Constraint Programming
Augustin Crespin and Pierre Schaus
From LLM Suggestions to Lean Proofs: Verified Redundant Constraints for MiniZinc
Philipp Danzinger and Nysret Musliu
Neurosymbolic Large Neighbourhood Search
Arnaud Delage-Reid, Gilles Pesant, and Amal Zouaq
A Scheduling-Based Approach to Railway Capacity Estimation for Industrial Freight Junctions
Luca Di Gaspero, Alessia Grosso, and Giovanni Longo
Scaling Industrial Logistics: Tackling Multi-Batching Problems via Sequential Solving
Emmanuelle Dietz, Guillaume Povéda, Karl Henning, and Clara Buire
End-to-End Certified Graph Colouring
Simon Dold, George Katsirelos, Wietze Koops, Magnus O. Myreen, Jakob Nordström, Andy Oertel, and Yong Kiam Tan
Constraint Programming for Curriculum-based High School Timetabling with Half-Blocks
Bérénice Dubois, Stephen Walsh, and Quentin Cappart
Formally Verified Certification of Constraint Programming Proofs
Maarten Flippo, Konstantin Sidorov, Tip ten Brink, Clément Pit-Claudel, and Emir Demirović
From CP Modeling to Preference Elicitation in HMLV Assembly Problems
Marco Foschini, Emilio Gamba, Lucas Kletzander, and Tias Guns
GRID: Graph-based Modelling Interface for Domain-Independent Dynamic Programming
Fabio Giordana, Zeynep Kiziltan, and Ryo Kuroiwa
Utility-Peak Itemset Mining with Constraint Programming
Chaima Hamdi, Nadjib Lazaar, Nassim Belmecheri, Djawad Bekkoucha, Said Jabbour, and Lakhdar Saïs
Accelerating Constraint Programming Solver with Parallel External Heuristics: Experiments on Scheduling and Routing Problems
Vilém Heinz, Šimon Zvára, Vít Knobloch, Zdeněk Hanzálek, and Petr Vilím
Efficient Explanations for Rule Ensembles
Hao Hu, Alexey Ignatiev, and Joao Marques-Silva
Modeling the p-dispersion problem with distance constraints
Panteleimon Iosif, Nikolaos Ploskas, Kostas Stergiou, and Dimos Tsouros
Paratransit Optimization with Constraint Programming: A Case Study in Savannah, Georgia
Liam Jagrowski, Kevin Dalmeijer, Tinghan Ye, and Pascal Van Hentenryck
On the Self-Stabilization of Dijkstra's Asynchronous Token Circulation
Asma Khoualdia, Sami Cherif, Stéphane Devismes, and Léo Robert
Smart Cubing for Graph Search: A Comparative Study
Markus Kirchweger, Tomáš Peitl, Stefan Szeider, and Hai Xia
CrewAId: Interactive optimisation for human-in-the-loop crew rostering and rerostering
Matthias Klapperstueck, Frits de Nijs, Ilankaikone Senthooran, Matteo Miceli, and Michael Wybrow
Automatic Relaxation and Multi-Armed Bandit Learning for Large Neighbourhood Search
Frej Knutar Lewander, Pierre Flener, Justin Pearson, and Peter J. Stuckey
Optimizing a Multi-Commodity Home-Delivery and Pickup Service in Depopulated Rural Areas with Constraint Programming
Ryo Kuroiwa, Tomoki Hasegawa, Eiji Ueda, Naoki Akiyama, and Akira Yoshioka
Column Generation with Domain-Independent Dynamic Programming
Ryo Kuroiwa and Edward Lam
On the Effect of Training Data Selection in Automated Algorithm Selection
Erdem Kuş, Özgür Akgün, Nguyen Dang, Lars Kotthoff, and Ian Miguel
Not All Restarts Are Equal: MAB-Learning at the Right Time Scale for SAT
Jinghu Liang, Sami Cherif, and Chu-Min Li
Configuration of Heterogeneous Agent Fleets for Cognitively Demanding Missions
Lucas Ligny, Stéphanie Roussel, Gauthier Picard, and Élise Vareilles
Learning Unified Graph and Language Representations for SMT Algorithm Selection
Zhengyang Lu, Paul Sarnighausen-Cahn, Jiahao Chen, Arie Gurfinkel, Florin Manea, and Vijay Ganesh
From Literals to Atomic Constraints: Generalising Conflict-Driven Clause Learning for Constraint Programming
Imko Marijnissen, Maarten Flippo, and Emir Demirović
Proof Logging for Projected Enumeration and Counting Problems in VeriPB
Ciaran McCreesh, Jakob Nordström, Andy Oertel, and Yong Kiam Tan
The Voice of the Flow: A Graph-based Approach for Step-Wise Explanations of Constraint Satisfaction Problems
Minh Anh Nguyen, Tien Mai, and Hoong Chuin Lau
Instance Space Analysis and Complexity Estimation for Scheduling Problems
Christian Pérez, Isabel Catalá, Unai López, and Miguel A. Salido
Assembly Line Balancing with Parallel Stations and Shared Resources: A Cycle-Relative Constraint Programming Approach
Diego Olivier Fernandez Pons and Pierre Schaus
Constraint Programming for Mixed-model Assembly Line Scheduling with Complex Industrial Constraints
Guillaume Povéda, Javier Buil Tejero, and Tamara Borreguero Sanchidrian
Revisiting Integer Programming Encodings of Acyclicity
Masood Feyzbakhsh Rankooh and Matti Järvisalo
A Constraint Programming Approach for n-Day Lookahead Playoff Clinching in the NHL
Gili Rosenberg, Kyle E. C. Booth, J. Kyle Brubaker, and Ruben S. Andrist
The Distance Constraint on Sequence Variables
Margaux Schmied, Augustin Delecluse, Jean-Charles Régin, and Pierre Schaus
On Inferring Cumulative Constraints
Konstantin Sidorov
Computing Short SAT Implicants via Ising/QUBO Encodings
Giuseppe Spallitta, Leonardo Duenas-Osorio, and Moshe Y. Vardi
VIPR Certificate Construction from Black-Box ILP Solvers
Stefan Szeider
GPU-Accelerated Relaxed Decision Diagrams for Branch-and-Bound Optimization
Fabio Tardivo, Laurent Michel, and Willem-Jan van Hoeve
On Symmetries and Transformations
Daimy Van Caudenberg, Markus Anders, and Bart Bogaerts
An Automata-Based Constraint Programming Framework for Optimal Classical Planning
Damien Van Meerbeeck, Arnaud Lequen, Gilles Pesant, and Jendrik Seipp
Constraint Solving and Particle Swarm Optimization for Fixture Layout Optimization
Anna Vitali, Roberto Amadini, Vittorio Maniezzo, and Maurizio Gabbrielli
Identifying Multi-Hit Cancer Drivers Without Massive Parallelization: A CP, MIP, and Column Generation Framework
Rick S. H. Willemsen, Tenindra Abeywickrama, and Ramu Anandakrishnan
A Two-Stage Constraint Programming Approach for Artificial Teeth Scheduling
Felix Winter
Lightweight Look-Ahead-Based Value Heuristics for Constraint Optimization Problems
Ziyang Yu and Hongbo Li
Enhanced Lower Bound Computation in Branch-and-Bound for MaxSAT
Jialu Zhang, Chu-Min Li, Sami Cherif, and Shuolin Li
Constraint-Aware Self-Supervised Learning for Edge Selection
Xinda Zheng, Frits de Nijs, and Edward Lam
