Login / Signup

Computing Prime Implicates Incrementally.

Peter Jackson
Published in: CADE (1992)
Keyphrases
  • prime implicates
  • prime implicants
  • normal form
  • desirable properties
  • belief change
  • machine learning
  • database management systems
  • propositional logic