Identifying Prime Implicate Branches in Reduced Implicate Tries.

Neil V. Murray Erik Rosenthal

Published in: Fundam. Informaticae (2010)

Keyphrases

prime implicates
prime implicants
normal form
desirable properties
search space
belief change
inference rules
abductive reasoning