Efficient Signatures with Linear Space Complexity for Detecting Boolean Function Equivalence.

Santanu Chattopadhyay Parimal Pal Chaudhuri

Published in: VLSI Design (1998)

Keyphrases

space complexity
boolean functions
space requirements
relevant variables
arc consistency
linear functions
uniform distribution
learning algorithm
worst case
rough sets
constraint networks
stack filters