Binary symmetries of tractable non-rigid structures

Paolo Marimon, Michael Pinsker. Binary symmetries of tractable non-rigid structures. In 40th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2025, Singapore, June 23-26, 2025. pages 389-402, IEEE, 2025. [doi]

Abstract

Abstract is missing.