João Jorge Araújo

Affiliations:

According to our database¹, João Jorge Araújo authored at least 1 paper in 2025.

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

2025

Complete Symmetry Breaking for Finite Models.

[DOI]

Proceedings of the Thirty-Ninth AAAI Conference on Artificial Intelligence, 2025