## Proof Pearl: Mechanizing the Textbook Proof of Huffman’s Algorithm (2009)

by
Jasmin Christian Blanchette

Venue: | JOURNAL OF AUTOMATED REASONING |