On Tue, 7 Jan 2014, Vincent Lefevre wrote: > For some of them, this is proved. Here's a summary of the current > status: > > http://tamadiwiki.ens-lyon.fr/tamadiwiki/images/c/c1/Lefevre2013.pdf
Thanks for the details. What's the current state of the art on the asymptotic cost of the exhaustive searches? -- Joseph S. Myers jos...@codesourcery.com