Álvaro Torralba
Scholar

Álvaro Torralba

Google Scholar ID: zXjuraoAAAAJ
Aalborg University
Automated PlanningHeuristic SearchArtificial Intelligence
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
1,419
 
H-index
22
 
i10-index
37
 
Publications
20
 
Co-authors
42
list available
Contact
No contact links provided.
Publications
1 items
Transforming and Encoding FTS for SAT Solving: What Helps, What Hurts (Extended Version)
2026
Cited
0
Resume (English only)
Co-authors
42 total
Joerg Hoffmann
Joerg Hoffmann
Professor, Saarland Informatics Campus, Saarland University and German Research Center for AI (DFKI)
Co-author 2
Co-author 2
Daniel Borrajo
Daniel Borrajo
JPMorganChase AI Research
Daniel Gnad
Daniel Gnad
Heidelberg University, Germany & Linköping University, Sweden
Daniel Fišer
Daniel Fišer
Aalborg University
Co-author 6
Co-author 6
Marcel Steinmetz
Marcel Steinmetz
CNRS (LAAS)
Co-author 8
Co-author 8