I've just found this one: nQuant. From the project page:
nQuant is a .net color quantizer that produces high quality 256 color
8 bit PNG images. nQuant often reduces the size of a 32 bit image to a
size 3 times smaller than its original with quality surpassing what
the standard C command line utilities produce.
I've tested it out with some sample PNGs and it really does produce a good 8-bit output, smaller than .NET's own 8-bit encoder and with no visible dithering, even for antialiased images. I miss one thing, however: the processing can be a bit slow, but the library unfortunately doesn't have a parallelized variant of the optimization code. I'm working on a solution for this.
UPDATE (Jan 21, 2013), I've refactored the code, it runs 10 times faster now, even without the parallel threads. The fork is here: http://nquant.codeplex.com/SourceControl/network/forks/breki74/nQuantFaster
UPDATE (Feb 24, 2013), my fork was merged to the trunk. Enjoy.