Msoos

Ganak (github), our propositional model counter, has won every single model counting competition track for the past two years. Perhaps it's time to explain how that came about, and what are the ingredients of such a tool. Firstly, a propositional model co

Finally, after many months of waiting for our paper to be accepted (preliminary PDF here), Ganak2 is finally released (GitHub code, released binaries) and easily accessible and modifiable. I wish this release had come earlier, but double-blind requirement

Imagine you are super-excited about some new technology that's enabled by the internet, say, Google, and instead of investing in Google, i.e. buying Google stock, you start buying AT&T stock. Or let's say Facebook just came out, and it's the hottest thing

Probabilities of certain events are really hard to estimate sometimes. Often, it's because we lack information of the underlying causal chains, but sometimes, it's because the causes are so intertwined that even if we know the underlying probabilities of