Multi-valued decision diagrams: theory and applications (1998)

by T Kam, T Villa, R Brayton, A SangiovanniVincentelli
Venue:Multiple-Valued Logic