Follow
Jiaxin Song
Title
Cited by
Cited by
Year
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
102022
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
82022
EFX Allocations Exist for Binary Valuations
X Bu, J Song, Z Yu
Frontiers of Algorithmics: 17th International Joint Conference, IJTCS-FAW …, 2023
42023
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
12023
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
The system can't perform the operation now. Try again later.
Articles 1–8