BDD Encyclopedia

Boolean functions with 2 variables

• F2.pdf (ordered by truth table)
• F2-ordered.pdf (ordered by BDD size)
• F2-minmax.pdf (the best and the worst ordering)
• F2-comparison.pdf (comparison of various types)

Boolean functions with 3 variables

• F3.pdf (ordered by truth table)
• F3-ordered.pdf (ordered by BDD size)
• F3-minmax.pdf (the best and the worst ordering)
• F3-comparison.pdf (comparison of various types)

Analysis

• BDD-ANALYSIS.pdf (obtained by BDD-ANALYSIS.Rmd)

Raw data

• SUM-OBDD-02.TXT
• SUM-OBDD-03.TXT
• SUM-OBDD-04.TXT
• SUM-OBDD-05.TXT
• SUM-OBDDCE-02.TXT
• SUM-OBDDCE-03.TXT
• SUM-OBDDCE-04.TXT
• SUM-OBDDCE-05.TXT
• SUM-ZBDD-02.TXT
• SUM-ZBDD-03.TXT
• SUM-ZBDD-04.TXT
• SUM-ZBDD-05.TXT
• SUM-ZBDDCE-02.TXT
• SUM-ZBDDCE-03.TXT
• SUM-ZBDDCE-04.TXT
• SUM-ZBDDCE-05.TXT