Login / Signup

The Effect of Basis on Size of Boolean Expressions

Vaughan R. Pratt
Published in: FOCS (1975)
Keyphrases
  • boolean expressions
  • computational complexity
  • normal form
  • real valued