Bart Naudts Luk Schoofs GA performance distributions and randomly generated binary constraint satisfaction problems. 167-185 2002 287 Theor. Comput. Sci. 1 db/journals/tcs/tcs287.html#NaudtsS02