Login / Signup

Generating prime implicants via ternary encoding and decimal arithmetic.

Donald L. Dietmeyer
Published in: Commun. ACM (1968)
Keyphrases
  • prime implicants
  • prime implicates
  • floating point
  • boolean functions
  • abductive reasoning
  • automated reasoning
  • belief change
  • normal form
  • belief revision
  • artificial intelligence
  • optimal solution
  • search space