APPLICATIONS OF ZERO-SUPPRESSED DECISION DIAGRAMS (PB)

CLASSIFICATION FUNCTIONS FOR MACHINE LEARNING AND DATA MINING

CLASSIFICATION FUNCTIONS FOR MACHINE LEARNING AND DATA MINING (HB)

INDEX GENERATION FUNCTIONS

INDEX GENERATION FUNCTIONS (HB)

LOGIC SYNTHESIS AND OPTIMIZATION (HB)

LOGIC SYNTHESIS AND OPTIMIZATION (PB)

LOGIC SYNTHESIS AND VERIFICATION (HB)

LOGIC SYNTHESIS AND VERIFICATION (PB)

MEMORY-BASED LOGIC SYNTHESIS (HB)

MEMORY-BASED LOGIC SYNTHESIS (PB)

MULTIPLE VALUED LOGIC IN VERY LARGE SCALE INTEGRATION DESIGN (PB)

PROGRESS IN APPLICATIONS OF BOOLEAN FUNCTIONS

PROGRESS IN APPLICATIONS OF BOOLEAN FUNCTIONS

PROGRESS IN APPLICATIONS OF BOOLEAN FUNCTIONS (PB)

REPRESENTATIONS OF DISCRETE FUNCTIONS (HB)

REPRESENTATIONS OF DISCRETE FUNCTIONS (PB)

SWITCHING THEORY FOR LOGIC SYNTHESIS (HB)

SWITCHING THEORY FOR LOGIC SYNTHESIS (PB)

SYNTHESIS SERIES ON DIGITAL CIRCUITS AND SYSTEMS (HB)