A linear-time algorithm for testing the truth of certain quantified boolean formulas

Bengt Aspvall, Michael F. Plass, Robert Endre Tarjan

Research output: Contribution to journal › Article › peer-review

Original language	English (US)
Pages (from-to)	121-123
Number of pages	3
Journal	Information Processing Letters
Volume	8
Issue number	3
DOIs	https://doi.org/10.1016/0020-0190(79)90002-4
State	Published - Mar 15 1979
Externally published	Yes

All Science Journal Classification (ASJC) codes

@article{4c51789425624517a56c53e3e91c40f2,

title = "A linear-time algorithm for testing the truth of certain quantified boolean formulas",

author = "Bengt Aspvall and Plass, {Michael F.} and Tarjan, {Robert Endre}",

year = "1979",

month = mar,

day = "15",

doi = "10.1016/0020-0190(79)90002-4",

language = "English (US)",

volume = "8",

pages = "121--123",

journal = "Information Processing Letters",

issn = "0020-0190",

publisher = "Elsevier",

number = "3",

}

TY - JOUR

T1 - A linear-time algorithm for testing the truth of certain quantified boolean formulas

AU - Aspvall, Bengt

AU - Plass, Michael F.

AU - Tarjan, Robert Endre

PY - 1979/3/15

Y1 - 1979/3/15

UR - http://www.scopus.com/inward/record.url?scp=0001548856&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0001548856&partnerID=8YFLogxK

U2 - 10.1016/0020-0190(79)90002-4

DO - 10.1016/0020-0190(79)90002-4

M3 - Article

AN - SCOPUS:0001548856

VL - 8

SP - 121

EP - 123

JO - Information Processing Letters

JF - Information Processing Letters

SN - 0020-0190

IS - 3

ER -