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 journalComment/debatepeer-review

4 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