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

• Autores: Debatosh Debnath, Tsutomu Sasao
• Localización: IEICE transactions on fundamentals of electronics, communications and computer, ISSN 0916-8508, Vol. 89, Nº 12, 2006, págs. 3443-3450
• Idioma: inglés
• Texto completo no disponible (Saber más ...)