Formally Verified Certification of Constraint Programming Proofs.

Maarten Flippo, Konstantin Sidorov, Tip ten Brink, Clment Pit-Claudel, Emir Demirovic

Browse the full CP paper archive.