The Hard Problems Are Almost Everywhere For Random CNF-XOR Formulas.

Jeffrey M. Dudek, Kuldeep S. Meel, Moshe Y. Vardi

Browse the full IJCAI paper archive.