Robuta

https://cris.openu.ac.il/en/publications/constrained-sampling-and-counting-universal-hashing-meets-sat-sol/ Constrained sampling and counting: Universal hashing meets SAT solving - Open University of Israel and counting universal hashing sat solving open university constrained