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

Bengt Aspvall; Michael F. Plass; Robert Endre Tarjan

doi:10.1016/0020-0190(82)90036-9

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 › Comment/debate › peer-review

Original language	English (US)
Pages (from-to)	195
Number of pages	1
Journal	Information Processing Letters
Volume	14
Issue number	4
DOIs	https://doi.org/10.1016/0020-0190(82)90036-9
State	Published - Jun 13 1982
Externally published	Yes

All Science Journal Classification (ASJC) codes

Theoretical Computer Science
Signal Processing
Information Systems
Computer Science Applications

Access to Document

10.1016/0020-0190(82)90036-9

Cite this

@article{337fdb01550e45ba987757f34cb8fa7a,

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 = "1982",

month = jun,

day = "13",

doi = "10.1016/0020-0190(82)90036-9",

language = "English (US)",

volume = "14",

pages = "195",

journal = "Information Processing Letters",

issn = "0020-0190",

publisher = "Elsevier",

number = "4",

}

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 - 1982/6/13

Y1 - 1982/6/13

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

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

U2 - 10.1016/0020-0190(82)90036-9

DO - 10.1016/0020-0190(82)90036-9

M3 - Comment/debate

AN - SCOPUS:49049137834

SN - 0020-0190

VL - 14

SP - 195

JO - Information Processing Letters

JF - Information Processing Letters

IS - 4

ER -

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

All Science Journal Classification (ASJC) codes

Access to Document

Other files and links

Fingerprint

Cite this