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