A Logical Characteristic of Read-Once Branching Programs

Stanislav Zák. A Logical Characteristic of Read-Once Branching Programs. Electronic Colloquium on Computational Complexity (ECCC), 26:150, 2019. [doi]

Abstract

Abstract is missing.