Automated mechanism design: Compact and decomposition linear programming models - Jaumard, Brigitte; Babashahi, Kia; Huin, Nicolas (2019 IEEE 31st International Conference on Tools with Artificial Intelligence (ICTAI), 2019)