Login / Signup

Generation of Prime Implicants from Subfunctions and a Unifying Approach to the Covering Problem.

Bernd Reusch
Published in: IEEE Trans. Computers (1975)
Keyphrases
  • prime implicants
  • prime implicates
  • boolean functions
  • abductive reasoning
  • automated reasoning
  • normal form
  • desirable properties
  • expert systems
  • orders of magnitude
  • belief change