Item Details

Inference Rules for Unsatisfiability

by David A. Plaisted
Format
Book; Online; EBook
Published
Urbana, Illinois : Dept. of Computer Science, University of Illinois at Urbana-Champaign, 1979.
Language
English
Related Title
Unsatisfiability.
Series
Report
Description
18 p. ; 28 cm.
Mode of access: Internet.
Notes
  • UIUCDCS-R-79-955
  • Includes bibliographical references (page 18).
Series Statement
Report ; 955
Logo for Copyright Not EvaluatedCopyright Not Evaluated
Technical Details

  • LEADER 01628nam a2200397Ia 4500
    001 100699363
    003 MiAaHDL
    005 20150526000000.0
    006 m d
    007 cr bn ---auaua
    008 130426s1979 ilu b s000 0 eng
    035
      
      
    a| sdr-uiuc7216052
    035
      
      
    a| (OCoLC)840914683
    040
      
      
    a| UIU c| UIU
    049
      
      
    a| UIUU
    100
    1
      
    a| Plaisted, David A.
    245
    1
    0
    a| Inference rules for unsatisfiability / c| by David A. Plaisted.
    260
      
      
    a| Urbana, Illinois : b| Dept. of Computer Science, University of Illinois at Urbana-Champaign, c| 1979.
    300
      
      
    a| 18 p. ; c| 28 cm.
    490
    0
      
    a| Report ; v| 955
    500
      
      
    a| UIUCDCS-R-79-955
    504
      
      
    a| Includes bibliographical references (page 18).
    538
      
      
    a| Mode of access: Internet.
    650
      
    0
    a| Inference.
    650
      
    0
    a| Polynomials.
    650
      
    0
    a| Propositional calculus.
    710
    2
      
    a| University of Illinois at Urbana-Champaign. b| Department of Computer Science.
    740
    0
    1
    a| Unsatisfiability.
    974
      
      
    8| ia.inferencerulesfo955plai b| UIU c| IUIUC d| 20180315 s| ia u| uiuo.ark:/13960/t0zp5mf8d z| Report (University of Illinois at Urbana-Champaign. Dept. of Computer Science) no.955 y| 1979 r| cc-by-nc-sa-3.0 q| con

Access online

Google Preview