On computing minimal independent support and its applications to sampling and counting