On the Evaluation of Achievable Rate Regions for Broadcast Channels