A New Algorithm for Generating Prime Implicants.

James R. Slagle Chin-Liang Chang Richard C. T. Lee

Published in: IEEE Trans. Computers (1970)

Keyphrases

objective function
simulated annealing
randomly generated
optimal solution
computational complexity
learning algorithm
decision trees
propositional satisfiability