%0 Journal Article %1 journals/corr/abs-2110-09026 %A Soos, Mate %A Meel, Kuldeep S. %D 2021 %J CoRR %K dblp %T Arjun: An Efficient Independent Support Computation Technique and its Applications to Counting and Sampling. %U http://dblp.uni-trier.de/db/journals/corr/corr2110.html#abs-2110-09026 %V abs/2110.09026

@article{journals/corr/abs-2110-09026, added-at = {2021-10-22T00:00:00.000+0200}, author = {Soos, Mate and Meel, Kuldeep S.}, biburl = {https://www.bibsonomy.org/bibtex/2619301e3fa85c588b3a496d8b36a7482/dblp}, ee = {https://arxiv.org/abs/2110.09026}, interhash = {c40e3fa2d337268972078c3d7a22410c}, intrahash = {619301e3fa85c588b3a496d8b36a7482}, journal = {CoRR}, keywords = {dblp}, timestamp = {2024-04-08T22:58:09.000+0200}, title = {Arjun: An Efficient Independent Support Computation Technique and its Applications to Counting and Sampling.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr2110.html#abs-2110-09026}, volume = {abs/2110.09026}, year = 2021 }