The Use of Max-Sat for Optimal Choice of Automated Theory Repairs. - Marius Urbonas; Alan Bundy; Juan Casanova; Xue Li 018 (SGAI Conf., 2020)

BiRating - Iterative averaging on a bipartite graph of Beat Saber scores, player skills, and map difficulties. - Juan Casanova (CoRR, 2025)