Item Details

An Exponential Lower Bound for a Restricted Class of Monotone Formulae for 2-Unsatisfiability

by David A. Plaisted
Format
Book; Government Document; Online; EBook
Published
Urbana : Dept. of Computer Science, Univerity of Illinois at Urbana-Champaign, 1978.
Language
English
Series
Report (University of Illinois at Urbana-Champaign. Dept. Of Computer Science)
Description
15 p. ; 28 cm.
Mode of access: Internet.
Notes
  • "UILU-ENG 78-1734."
  • Bibliography: p. 15.
Series Statement
Report (University of Illinois at Urbana-Champaign. Dept. of Computer Science) no. 941
Logo for Creative Commons Attribution, Share-alike, Non-commercial LicenseCreative Commons Attribution, Share-alike, Non-commercial License
Technical Details

  • LEADER 01686nam a2200385 i 4500
    001 100698736
    003 MiAaHDL
    005 20150526000000.0
    006 m d
    007 cr bn ---auaua
    008 790628s1978 ilu b s00010 engm
    035
      
      
    a| sdr-uiuc841640
    035
      
      
    9| ADL-6084
    035
      
      
    a| (OCoLC)5195116
    040
      
      
    a| DLC c| DLC d| m.c. d| UIU
    050
    0
      
    a| QA76 b| .I4 no. 941 a| QA10.3
    082
      
      
    a| 001.6/4/08 s a| 511/.32
    100
    1
    0
    a| Plaisted, David A.
    245
    1
    3
    a| An exponential lower bound for a restricted class of monotone formulae for 2-unsatisfiability / c| by David A. Plaisted.
    260
    0
      
    a| Urbana : b| Dept. of Computer Science, Univerity of Illinois at Urbana-Champaign, c| 1978.
    300
      
      
    a| 15 p. ; c| 28 cm.
    490
      
    0
    a| Report (University of Illinois at Urbana-Champaign. Dept. of Computer Science) v| no. 941
    500
      
      
    a| "UILU-ENG 78-1734."
    504
      
      
    a| Bibliography: p. 15.
    538
      
      
    a| Mode of access: Internet.
    650
      
    0
    a| Computational complexity
    650
      
    0
    a| Algebra, Boolean x| Data processing.
    974
      
      
    8| ia.exponentiallower941plai b| UIU c| IUIUC d| 20180315 s| ia u| uiuo.ark:/13960/t6932cp5z z| Report (University of Illinois at Urbana-Champaign. Dept. of Computer Science) no. 941 y| 1978 r| cc-by-nc-sa-3.0 q| con

Access online

Google Preview