Login / Signup

Recursive Boolean Formula Minimization Algorithms for Implication Logic.

Predrag TeodorovicStanisa DautovicVeljko Malbasa
Published in: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (2013)
Keyphrases
  • data structure
  • computational complexity
  • orders of magnitude
  • learning algorithm
  • description logics
  • functional dependencies