Title :
Towards a symbolic logic minimization algorithm
Author :
Coudert, Olivier ; Madre, Jean Christophe
Author_Institution :
Bull Corporate Research Center, Rue Jean Jaures
Keywords :
Boolean functions; Costs; Data structures; Logic; Minimization methods;
Conference_Titel :
VLSI Design, 1993. Proceedings. The Sixth International Conference on
Conference_Location :
Bombay, India
Print_ISBN :
0-8186-3180-5
DOI :
10.1109/ICVD.1993.669705