Scholar
Mateu Villaret Auselle
Google Scholar ID: kn14YKcAAAAJ
Universitat de Girona
Computational logics
Higher-order Unification
Constraint Programming
SAT
SMT
Follow
Google Scholar
↗
Citations & Impact
All-time
Citations
617
H-index
15
i10-index
23
Publications
20
Co-authors
0
