Ganak: The Making of a Versatile, High Performance Model Counter
Ganakv2 Released
Ethereum in the age of AOL
Computing Tricky Probabilities
Some food for thought: great content on the Internet
On SAT/SMT Model Counting