Lichtenstein, D. (1982). Planar formulae and their uses. SIAM J. Comput.
URI: https://gptkb.org/entity/Lichtenstein,_D._(1982)._Planar_formulae_and_their_uses._SIAM_J._Comput.
GPTKB entity
Statements (9)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:academic_journal
|
| gptkbp:author |
gptkb:David_Lichtenstein
|
| https://www.w3.org/2000/01/rdf-schema#label |
Lichtenstein, D. (1982). Planar formulae and their uses. SIAM J. Comput.
|
| gptkbp:language |
English
|
| gptkbp:publicationYear |
1982
|
| gptkbp:publishedIn |
gptkb:SIAM_Journal_on_Computing
|
| gptkbp:title |
Planar formulae and their uses
|
| gptkbp:bfsParent |
gptkb:Planar_SAT
|
| gptkbp:bfsLayer |
7
|