Generating hard satisfiable instances by planting into random constraint satisfaction problem model with growing constraint scope length
scientific article; zbMATH DE number 7642801
scientific article