Login / Signup

Size-depht Tradeoff in Non-monotone Boolean Formulae.

Beate Commentz-WalterJürgen Sattler
Published in: Acta Informatica (1980)
Keyphrases
  • boolean formulae
  • computational complexity
  • upper bound
  • boolean variables
  • cellular automata
  • uniform distribution
  • acyclic conjunctive queries