Login / Signup

-Term Monotone Boolean Formulae.

Yoshifumi SakaiAkira Maruoka
Published in: ALT (1992)
Keyphrases
  • boolean formulae
  • upper bound
  • boolean variables
  • uniform distribution
  • conjunctive normal form
  • term dnf
  • disjunctive normal form