%0 Journal Article %1 journals/constraints/IvriiMMV16 %A Ivrii, Alexander %A Malik, Sharad %A Meel, Kuldeep S. %A Vardi, Moshe Y. %D 2016 %J Constraints An Int. J. %K dblp %N 1 %P 41-58 %T On computing minimal independent support and its applications to sampling and counting. %U http://dblp.uni-trier.de/db/journals/constraints/constraints21.html#IvriiMMV16 %V 21

@article{journals/constraints/IvriiMMV16, added-at = {2023-09-30T00:00:00.000+0200}, author = {Ivrii, Alexander and Malik, Sharad and Meel, Kuldeep S. and Vardi, Moshe Y.}, biburl = {https://www.bibsonomy.org/bibtex/28f2064905c0798f00807b4872d838a25/dblp}, ee = {https://doi.org/10.1007/s10601-015-9204-z}, interhash = {82c5c5bda0108a6093f8ae61b611ae3e}, intrahash = {8f2064905c0798f00807b4872d838a25}, journal = {Constraints An Int. J.}, keywords = {dblp}, number = 1, pages = {41-58}, timestamp = {2024-04-09T03:37:53.000+0200}, title = {On computing minimal independent support and its applications to sampling and counting.}, url = {http://dblp.uni-trier.de/db/journals/constraints/constraints21.html#IvriiMMV16}, volume = 21, year = 2016 }