Symmetric Circuits for Rank Logic

Anuj Dawar, Gregory Wilsenach. Symmetric Circuits for Rank Logic. ACM Trans. Comput. Log., 23(1), 2022. [doi]

Abstract

Abstract is missing.