On the complexity of maximizing social welfare within fair allocations of indivisible goods X Bu, Z Li, S Liu, J Song, B Tao arXiv preprint arXiv:2205.14296, 2022 | 10 | 2022 |
Scalable Linear Invariant Generation with Farkas’ Lemma H Liu, H Fu, Z Yu, J Song, G Li Proceedings of the ACM on Programming Languages 6 (OOPSLA2), 204-232, 2022 | 9 | 2022 |
EFX Allocations Exist for Binary Valuations X Bu, J Song, Z Yu Frontiers of Algorithmics: 17th International Joint Conference, IJTCS-FAW …, 2023 | 4 | 2023 |
Fair Division with Allocator’s Preference X Bu, Z Li, S Liu, J Song, B Tao International Conference on Web and Internet Economics, 77-94, 2023 | 3 | 2023 |
Fair Division of Indivisible Goods with Comparison-Based Queries X Bu, Z Li, S Liu, J Song, B Tao arXiv preprint arXiv:2404.18133, 2024 | | 2024 |
Equational Bit-Vector Solving via Strong Grobner Bases J Song, H Fu, C Zhang arXiv preprint arXiv:2402.16314, 2024 | | 2024 |
Maximize Egalitarian Welfare for Cake Cutting X Bu, J Song International Workshop on Frontiers in Algorithmics, 263-280, 2023 | | 2023 |
Fair Division with Prioritized Agents X Bu, Z Li, S Liu, J Song, B Tao Proceedings of the AAAI Conference on Artificial Intelligence 37 (5), 5540-5548, 2023 | | 2023 |