Login / Signup
Size-Depth Tradeoff in Boolean Formulas.
Beate Commentz-Walter
Published in:
ICALP (1978)
Keyphrases
</>
boolean formula
computational complexity
search algorithm
linear constraints