Automated Mechanism Design: Compact and Decomposition Linear Programming Models | IEEE Conference Publication | IEEE Xplore