Login / Signup

Size-Depth Tradeoff in Boolean Formulas.

Beate Commentz-Walter
Published in: ICALP (1978)
Keyphrases
  • boolean formula
  • computational complexity
  • search algorithm
  • linear constraints