Login / Signup
Size-depht Tradeoff in Non-monotone Boolean Formulae.
Beate Commentz-Walter
Jürgen Sattler
Published in:
Acta Informatica (1980)
Keyphrases
</>
boolean formulae
computational complexity
upper bound
boolean variables
cellular automata
uniform distribution
acyclic conjunctive queries