Conference

Formally Verified Certification of Constraint Programming Proofs

Maarten Flippo K. Sidorov Tip ten Brink Clément Pit-Claudel Emir Demirovi'c

2026 · International Conference on Principles and Practice of Constraint Programming · pp. 24:1-24:23 · 1 citation · 32 references

Computer Science

View source