Supplementary Material on Chain Compression

This web page serves as a supplement to the paper “Chain Compression for Binary and Zero-Suppressed Decision Diagrams,”, published in the Journal of Automated Reasoning in 2020.

Experimental Data

Dictionary Encodings
- A list of words. Included in Macintosh systems as the file /usr/share/dict/words. Contains 235,886 words ranging from 1 to 24 letters.
- A list of passwords. Contains 979,247 words ranging from 1 to 32 letters.

Additional material

The following documents provide information that is somewhat out of scope for the actual paper, but perhaps of interest to the readers.

Boolean encoding of the N-queens problem (PDF).
Decision diagram representations of selector functions (PDF).