Login / Signup

Minimization of Logic Functions Using Essential Signature Sets.

Patrick C. McGeerJagesh V. SanghaviRobert K. BraytonAlberto L. Sangiovanni-Vincentelli
Published in: VLSI Design (1993)
Keyphrases
  • multi valued
  • objective function
  • artificial intelligence
  • data sets
  • logic programming
  • horn clauses
  • computational properties
  • semi algebraic
  • predicate logic
  • signature recognition