Wonderings of a SAT geek

Ganak Architecture in Broad Strokes

Ganak: The Making of a Versatile, High Performance Model Counter

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 counter is a tool that counts how many solutions there are to a set [ ]

Ganakv2 Released

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 requirements didn t allow us to release the code any sooner. Basically, Ganakv2 has been re-written in many ways. [ ]

Ethereum in the age of AOL

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. Everyone wants Facebook. So instead of investing in Facebook stock, you start buying [ ]

Computing Tricky Probabilities

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 certain events happening along with the causal chains, it s still impossible for us to untangle the [ ]