Login / Signup

A Linear-Time Algorithm for Testing the Truth of Certain Quantified Boolean Formulas.

Bengt AspvallMichael F. PlassRobert Endre Tarjan
Published in: Inf. Process. Lett. (1979)
Keyphrases
  • quantified boolean formulas
  • reasoning tasks
  • decision procedures
  • universally quantified
  • video sequences
  • object oriented
  • propositional satisfiability