Constraints Journal Update

[Eugene Freuder]

As announced in the 2025 ACP Quarterly Report 3, through the generosity of Springer’s SharedIt program, the ACP is providing free access to the Constraints journal papers at the ACP Constraints Journal site, starting with Volume 29, Issues 3,4. In addition the site is posting short introductory videos for papers as provided by the authors.

To update:

The papers from Volume 30 of the Constraints journal are freely available at the ACP Constraints Journal website:

Solving logic-based benders decomposition master problems with constraint programming and domainindependent dynamic programming
Jiachen Zhang & Christopher Beck
video in progress

Word equations in synergy with regular constraints (extended version)
František Blahoudek, Yu-Fang Chen, David Chocholatý, Vojtěch Havlena, Lukáš Holík, Ondřej Lengál & Juraj Síč
video in progress

Solutions and minimal conflict search for product configuration: a case study
Sebastian Velten & Christopher Hamkins
video

MiniZinc with objects
Guido Tack, Richard Comploi-Taupe, Andreas Falkner & Gottfried Schenner
video in progress

The first paper in the next volume in progress is also available:

Preimage attacks on round-reduced MD5, SHA-1, and SHA-256 using parameterized SAT solver
Oleg Zaikin
video