AND/OR reasoning graphs for determining prime implicants in multi-level combinational networks.

Dominik Stoffel Wolfgang Kunz Stefan Gerber

Published in: ASP-DAC (1997)

Keyphrases

prime implicants
abductive reasoning
automated reasoning
prime implicates
boolean functions
reasoning tasks
probabilistic logic
knowledge base
knowledge representation
artificial intelligence
database systems
databases
lower bound
description logics
logic programs
theorem prover