Expressiveness and Optimization under Incentive Compatibility Constraints in Dynamic Auctions