An exponential lower bound for a restricted class of monotone formulae for 2-unsatisfiability
By: by David A. Plaisted.
Series: [Report] - UIUCDCS-R-78 ; 941; Report (University of Illinois at Urbana-Champaign. Dept. of Computer Science) ;; 941.
Publisher: Dept. of Computer Science, University of Illinois at Urbana-Champaign
Published: 1978
Place of publication: Urbana
Language: eng
Number of pages: 15
Subjects: Algebra, Boolean -- Data processing.; Computational complexity.
Notes: Bibliography: p. 15.
"UILU-ENG 78-1734."