Volume: Vol-4008 SMT+PoS 2025 | Year: 2025

Paper: « SMT_paper10 | SMT_paper24 | SMT_paper20 »

A Few Exercises on the Complexity of Congruence Closure with Cardinality Constraints

• Ellen Dasnois
• Pascal Fontaine

59-64 PDF