%0 Journal Article %1 journals/corr/abs-1910-09755 %A Pote, Yash %A Joshi, Saurabh %A Meel, Kuldeep S. %D 2019 %J CoRR %K dblp %T Phase Transition Behavior of Cardinality and XOR Constraints. %U http://dblp.uni-trier.de/db/journals/corr/corr1910.html#abs-1910-09755 %V abs/1910.09755

@article{journals/corr/abs-1910-09755, added-at = {2019-10-25T00:00:00.000+0200}, author = {Pote, Yash and Joshi, Saurabh and Meel, Kuldeep S.}, biburl = {https://www.bibsonomy.org/bibtex/29f65c086d720e86676decc53e6cfac2e/dblp}, ee = {http://arxiv.org/abs/1910.09755}, interhash = {03bb7bc8122c3cc70071657466b78767}, intrahash = {9f65c086d720e86676decc53e6cfac2e}, journal = {CoRR}, keywords = {dblp}, timestamp = {2019-10-26T11:38:41.000+0200}, title = {Phase Transition Behavior of Cardinality and XOR Constraints.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr1910.html#abs-1910-09755}, volume = {abs/1910.09755}, year = 2019 }