The solution space structure of planted constraint satisfaction problems with growing domains

Wei Xu, Zhe Zhang

Planting a solution into the random RB model, which is a prototype of random constraint satisfaction problem (CSP) with growing domains, can generate very hard satisfiable CSP benc…