François Nicolas Eric Rivals Hardness of optimal spaced seed design. 831-849 2008 74 J. Comput. Syst. Sci. 5 http://dx.doi.org/10.1016/j.jcss.2007.10.001 db/journals/jcss/jcss74.html#NicolasR08