@inproceedings{ijcai2017p84, author = {Jeffrey M. Dudek and Kuldeep S. Meel and Moshe Y. Vardi}, title = {The Hard Problems Are Almost Everywhere For Random CNF-XOR Formulas}, booktitle = {Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, {IJCAI-17}}, pages = {600--606}, year = {2017}, doi = {10.24963/ijcai.2017/84}, url = {https://doi.org/10.24963/ijcai.2017/84}, }