Size-Depth Tradeoff in Monotone Boolean Formulae.

Beate Commentz-Walter

Published in: Acta Informatica (1979)

Keyphrases

boolean formulae
computational complexity
acyclic conjunctive queries
learning algorithm
special case
genetic programming
polynomial size