Sign in

Representations of Monotone Boolean Functions by Linear Programs.

Mateus de Oliveira OliveiraPavel Pudlák
Published in: ACM Trans. Comput. Theory (2019)
Keyphrases