Synthesizing Efficient Social Laws based on Algorithmic Mechanism Design. - Shuai Zi; Jun Wu (ACAI, 2023)