An Algorithm for Testing 2-Asummability of Boolean Functions.

Anil K. Sarje Nripendra N. Biswas

Published in: IEEE Trans. Computers (1977)

Keyphrases

boolean functions
learning algorithm
randomly generated
optimal solution
worst case
search space
theoretical analysis
objective function
computational complexity
polynomial size
sampling algorithm
np hard
classification algorithm
decomposition method
disjunctive normal form