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.- Sort by
- Weight
- Alphabetically
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
8
Scopus
citations