Verel, Sébastien, Thomson, Sarah L, Rifki, Omar, "Where the Really Hard Quadratic Assignment Problems Are: the QAP-SAT instances", , 2025