Title: An exponential lower bound for a restricted class of monotone formulae for 2-unsatisfiability
First published: 1978
Subjects: Algebra, Boolean, Boolean Algebra, Computational complexity, Data processing
LC classification: QA76 .I4 no. 941, QA10.3 .I4 no. 941