Research

The following is a collection of links to the research-related resources available from this page and the Internet at large. I apologize for inconvenieces due to the never-ending reconstruction.

• An outline of my research
• The complete list of my publications
• Selected presentations
• Research webpages
• Webpage of Marek Perkowski  (A treasure trove and a maze in one. Get ready to get lost:)

Decision diagrams

• Links to the BDD resources

This page was created approximately a year ago and was not updated to reflect recent changes in my research interests.
• Class on BDDs and their applications

I taught this class in Spring 2000 at OCATE to a group of industry students. The syllabus, the complete set of slides in PowerPoint and PDF, and a list of student projects are available. I will be glad if you find them useful.
• An incomplete list of DD-based applications programmed by me
• Tutorial on ZDD (Zero-Suppressed Binary Decision Diagrams)
• Tutorial on the Use of CUDD Package (forthcoming)

Minimization

• Two-level Sum-of-Product (SOP) minimization
• Two-level Exclusive-Sum-of-Product (ESOP) minimization
• Three-level AND-OR-EXOR minimization

Decomposition

• BI-DECOMP-MV: A Decomposer for multi-valued relations
• An attempt to classify decomposition types and methods
• Comparing different approaches to BDD-based functional decomposition

Other

• Boolean network simplification using internal don't-cares
• Regular layout synthesis with Shannon and Kronecker lattices
• Board-level routing problem using satisfiability
• Multi-valued logic

Software

• EXTRA: A library of DD operators extending the functionality of CUDD 2.3.x
• Software ported to Windows
• Benchmarks and software packages on the Web
• Visual software