TY - RPRT TI - The Hard Problems Are Almost Everywhere For Random CNF-XOR Formulas AU - Jeffrey M. Dudek AU - Kuldeep S. Meel AU - Moshe Y. Vardi PY - 2017 UR - https://arxiv.org/abs/1710.06378 ID - 1710.06378 ER -