YHacker News
points by fcholf 1 day ago | hide | 0 comments
In my comment, it was for Sentential Decision Diagrams.