Login / Signup

Computation of Prime Implicants Using Matrix and Paths.

A. K. ShinyArun K. Pujari
Published in: J. Log. Comput. (1998)
Keyphrases
  • prime implicants
  • prime implicates
  • boolean functions
  • abductive reasoning
  • databases
  • belief change
  • automated reasoning