Login / Signup

Computing Prime Implicates.

Peter Jackson
Published in: ACM Conference on Computer Science (1992)
Keyphrases
  • prime implicates
  • prime implicants
  • belief change
  • modal logic
  • normal form
  • desirable properties
  • knowledge compilation
  • complexity theoretic
  • expert systems
  • computational complexity
  • np complete
  • boolean functions