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 journalArticle

595 Scopus citations
Original languageEnglish (US)
Pages (from-to)121-123
Number of pages3
JournalInformation Processing Letters
Volume8
Issue number3
DOIs
StatePublished - Mar 15 1979
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