Scholar
Álvaro Torralba
Google Scholar ID: zXjuraoAAAAJ
Aalborg University
Automated Planning
Heuristic Search
Artificial Intelligence
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
1,419
H-index
22
i10-index
37
Publications
20
Co-authors
42
list available
Publications
1 items
Transforming and Encoding FTS for SAT Solving: What Helps, What Hurts (Extended Version)
2026
Cited
0
Co-authors
9 total
Joerg Hoffmann
Professor, Saarland Informatics Campus, Saarland University and German Research Center for AI (DFKI)
Daniel Borrajo
JPMorganChase AI Research
Daniel Gnad
Heidelberg University, Germany & Linköping University, Sweden
Daniel Fišer
Aalborg University
Marcel Steinmetz
CNRS (LAAS)
Jendrik Seipp
Senior Associate Professor, Linköping University
Santiago Franco
Lecturer, Royal Holloway University of London (RHUL)
Carlos Areces
Universidad Nacional de Córdoba - CONICET
