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/debate

4 Scopus citations
Original languageEnglish (US)
Number of pages1
JournalInformation Processing Letters
Volume14
Issue number4
DOIs
StatePublished - Jun 13 1982
Externally publishedYes

All Science Journal Classification (ASJC) codes

  • Theoretical Computer Science
  • Signal Processing
  • Information Systems
  • Computer Science Applications

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.

  • Cite this