Azadeh Farzan. Choose Your Proofs: Commutativity and Symmetry for Smarter Reasoning. In Clark W. Barrett, Uwe Waldmann, editors, Automated Deduction - CADE 30 - 30th International Conference on Automated Deduction, Stuttgart, Germany, July 28-31, 2025, Proceedings. Volume 15943 of Lecture Notes in Computer Science, pages 3-14, Springer, 2025. [doi]
Abstract is missing.