@inproceedings{ijcai2019p162, title = {Phase Transition Behavior of Cardinality and XOR Constraints}, author = {Pote, Yash and Joshi, Saurabh and Meel, Kuldeep S.}, booktitle = {Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, {IJCAI-19}}, publisher = {International Joint Conferences on Artificial Intelligence Organization}, pages = {1162--1168}, year = {2019}, month = {7}, doi = {10.24963/ijcai.2019/162}, url = {https://doi.org/10.24963/ijcai.2019/162}, }