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 › Article › peer-review
712
Scopus
citations