Login / Signup

Worst-Case Groundness Analysis Using Positive Boolean Functions.

Michael Codish
Published in: J. Log. Program. (1999)
Keyphrases
  • boolean functions
  • worst case
  • uniform distribution
  • positive and negative
  • propositional logic
  • dnf formulas
  • dnf formulae