Constrained sampling and counting: Universal hashing meets SAT solvingKuldeep S. MeelMoshe Vardiet al.2016AAAI 2016