Pablo Martínez-Naredo

According to our database, Pablo Martínez-Naredo authored at least 1 paper in 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2025

Explanations of Unsatisfiability Beyond Minimal Subsets.

Pablo Martínez-Naredo, Raúl Mencía, João Marques-Silva, Carlos Mencía

Proceedings of the Logics in Artificial Intelligence - 19th European Conference, 2025