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

Cached

Download Links

by Jasmin Christian Blanchette
Venue:JOURNAL OF AUTOMATED REASONING