Efficient Computation of Canonical Form under Variable Permutation and Negation for Boolean Matching in Large Libraries.

Published in: IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (2006)

Keyphrases