Alvaro del Val, With an exceptional h-index of 17 and a recent h-index of 5 (since 2020), a distinguished researcher at Universidad Autónoma de Madrid, specializes in the field of artificial intelligence, computer science, satisfiability, logic, constraint satisfaction problems.