lvaro Torralba
1 indexed paper
Recent (6 mo)
1With code
0Influential cites
0Benchmarked
0Publications per year
126
Top categories
AI×1
Frequent co-authors
Research Timeline
2026
Transforming and Encoding FTS for SAT Solving: What Helps, What Hurts (Extended Version)
This paper investigates various methods for encoding factored tasks, a compact planning representation, into propositional logic for use with SAT solvers, analyzing the impact of encoding choices and task transformations on performance.
Highlighted terms show continued research focus across papers