TY - RPRT TI - Binary constraints on one additional variable can create exponential ascents for local search AU - David A. Cohen AU - Peter G. Jeavons AU - Artem Kaznatcheev AU - Melle van Marle AU - Sofia Vazquez Alferez PY - 2026 UR - https://arxiv.org/abs/2605.12425 ID - 2605.12425 ER -