Two papers are accepted at CP 2026

I co-authored two papers accepted in CP 2026: my paper “On Inferring Cumulative Constraints” about improving CP scheduling with deriving hidden resource constraints using lifting, and the paper “Formally Verified Certification of Constraint Programming Proofs,” co-authored with Maarten Flippo, Tip ten Brink, Clément Pit-Claudel, and Emir Demirović. For the former, you may be interested to read an accompanying post for a more accessible overview of the ideas I introduce.