https://filesoo.com/product/83875/complexity-dichotomies-for-counting-problems-volume-1-boolean-domain