%0 Conference Paper %1 conf/ijcai/PoteJM19 %A Pote, Yash %A Joshi, Saurabh %A Meel, Kuldeep S. %B IJCAI %D 2019 %E Kraus, Sarit %I ijcai.org %K dblp %P 1162-1168 %T Phase Transition Behavior of Cardinality and XOR Constraints. %U http://dblp.uni-trier.de/db/conf/ijcai/ijcai2019.html#PoteJM19

@inproceedings{conf/ijcai/PoteJM19, added-at = {2019-09-23T00:00:00.000+0200}, author = {Pote, Yash and Joshi, Saurabh and Meel, Kuldeep S.}, biburl = {https://www.bibsonomy.org/bibtex/2b54c77496646e059f389d58da27faf16/dblp}, booktitle = {IJCAI}, crossref = {conf/ijcai/2019}, editor = {Kraus, Sarit}, ee = {https://doi.org/10.24963/ijcai.2019/162}, interhash = {03bb7bc8122c3cc70071657466b78767}, intrahash = {b54c77496646e059f389d58da27faf16}, keywords = {dblp}, pages = {1162-1168}, publisher = {ijcai.org}, timestamp = {2019-09-24T11:49:09.000+0200}, title = {Phase Transition Behavior of Cardinality and XOR Constraints.}, url = {http://dblp.uni-trier.de/db/conf/ijcai/ijcai2019.html#PoteJM19}, year = 2019 }