Login / Signup

On the orthogonalization of arbitrary Boolean formulae.

Renato Bruni
Published in: Adv. Decis. Sci. (2005)
Keyphrases
  • boolean formulae
  • boolean variables
  • conjunctive normal form
  • upper bound