Logic functions minimization algorithm based on recognition of essential prime implicants.

Jianlin Qiu Xiang Gu Dan Ji Fen Li Peng He Bo Wang

Published in: ICNC (2010)

Keyphrases

recognition algorithm
objective function
optimal solution
np hard
learning algorithm
database systems
computational complexity
logic programming
database applications