Representations of Monotone Boolean Functions by Linear Programs

Mateus de Oliveira Oliveira, Pavel Pudlák. Representations of Monotone Boolean Functions by Linear Programs. Electronic Colloquium on Computational Complexity (ECCC), 24:106, 2017. [doi]

Abstract

Abstract is missing.