tokens: The problem of designing an optimal auction in terms of maximizing the revenue for the ECSP and ensuring Dominant - Strategy IC ( DSIC ) as well as Individual Rationality ( IR ) is considerably challenging .