Applications of Zero-Suppressed Decision Diagrams (Synthesis Lectures on Digital Circuits and Systems) 2014 · ENGLISH · PDF View details →
Progress in Applications of Boolean Functions (Synthesis Lectures on Digital Circuits and Systems) 2010 · ENGLISH · PDF View details →
