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 journalArticlepeer-review

702 Scopus citations

Fingerprint

Dive into the research topics of 'A linear-time algorithm for testing the truth of certain quantified boolean formulas'. Together they form a unique fingerprint.

Mathematics

Engineering & Materials Science