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).