publication . Other literature type . Article . 1979

# A linear-time algorithm for testing the truth of certain quantified boolean formulas

Bengt Aspvall; Michael F. Plass; Robert Endre Tarjan;

- Published: 01 Mar 1979
- Publisher: Elsevier BV

Download fromView all 3 versions

Powered by OpenAIRE Research Graph

publication . Other literature type . Article . 1979

# A linear-time algorithm for testing the truth of certain quantified boolean formulas

Bengt Aspvall; Michael F. Plass; Robert Endre Tarjan;