An algorithm to generate prime implicants and its application to the selection problem

This publication has 6 references indexed in Scilit:

• Application of game tree searching techniques to sequential pattern recognition
  Communications of the ACM, 1971
• A New Algorithm for Generating Prime Implicants
  IEEE Transactions on Computers, 1970
• Experiments With Some Programs That Search Game Trees
  Journal of the ACM, 1969
• Branch-and-Bound Methods: A Survey
  Operations Research, 1966
• An Application of Symbolic Logic to a Selection Problem
  Operations Research, 1964
• On Cores and Prime Implicants of Truth Functions
  The American Mathematical Monthly, 1959