Juan Casanova

Orcid: 0009-0001-2359-2745

According to our database¹, Juan Casanova authored at least 2 papers between 2020 and 2025.

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

2025

BiRating - Iterative averaging on a bipartite graph of Beat Saber scores, player skills, and map difficulties.

[DOI]

CoRR, February, 2025

2020

The Use of Max-Sat for Optimal Choice of Automated Theory Repairs.

[DOI]

Proceedings of the Artificial Intelligence XXXVII, 2020