Frankly, I'm beginning to think that contacting possible end-buyers directly is the best option. If you post your domain on Sedo, it will probably be lost among the thousands of other domains listed there. If you sell it on NamePros or any other forum, you will probably be selling it to a reseller, meaning that the end buyer will clearly pay more (otherwise the reseller wouldn't pay, would they?).
With that said, it all depends on the value of your domain. If you happen to own a premuim one-word name, stick it on Sedo or GreatDomains.com and wait to be rich. If you're dealing with a mid xx - mid xxx, then forum resellers or end buyers are probably your best bet.
Hope it helps,
George