CompleteSearch DBLP has moved

... from dblp.mpi-inf.mpg.de (now redirected to this page) to www.dblp.org (the domain of this page).

The entry page of the new CompleteSearch DBLP is http://www.dblp.org/search.

Please update your bookmarks / links accordingly!