Login / Signup

A purely map procedure for two-level multiple-output logic minimization.

Ali Muhammad Ali RushdiOmar M. Ba-Rukab
Published in: Int. J. Comput. Math. (2007)
Keyphrases
  • multiple output
  • multiple input
  • abductive reasoning
  • search algorithm
  • logic programming
  • knowledge representation
  • first order logic
  • automated reasoning
  • dynamic logic
  • prime implicants