conftrace_

Álvaro Torralba

25 papers · 2013–2026 · 3 conferences · across top CS/AI conferences

Achievements

Jump to papers ↓
+12 more ↓ 🏃 Academic Marathon (12) 🌉 Interdisciplinary Bridge 🌍 Conference Polyglot (3) 🧭 Keyword Pioneer 🐝 Cross-Pollinator (8)
🗺️ Taxonomy Completionist (20) 🌉 Interdisciplinary Bridge 🐣 Hot Topic Early Bird 🐺 Lone Wolf (4) 🔬 Deep Specialist (17) 🏆 Keyword Champion (2) 🔥 Unstoppable (11) 🚀 Conference Pioneer 💎 Century Club (23) The Questioner (2) 📈 Trend Setter 🗃️ Keyword Collector (87)

Conferences

IJCAI (12) AAAI (11) COLING (2)

Papers

Not Everything Is Permitted: Constrained Cartesian Abstractions for Optimal Classical Planning AAAI 2026 Dominance Pruning and Heuristics in Optimal Adversarial Non-Deterministic Planning AAAI 2026 What Makes You Special? Contrastive Heuristics Based on Qualified Dominance IJCAI 2025 When CEGAR Meets Regression: A Love Story in Optimal Classical Planning AAAI 2024 Can I Really Do That? Verification of Meta-Operators via Stackelberg Planning IJCAI 2023 Reshaping State-Space Search: From Dominance to Contrastive Analysis AAAI 2023 Homomorphisms of Lifted Planning Tasks: The Case for Delete-Free Relaxation Heuristics AAAI 2022 Operator-Potential Heuristics for Symbolic Search AAAI 2022 On the Optimal Efficiency of A* with Dominance Pruning AAAI 2021 Faster Stackelberg Planning via Symbolic Search and Information Sharing AAAI 2021 Polynomial-Time in PDDL Input Size: Making the Delete Relaxation Feasible for Lifted Planning IJCAI 2021 Generating Instructions at Different Levels of Abstraction COLING 2020 Novel Is Not Always Better: On the Relation between Novelty and Dominance Pruning AAAI 2020 Plan-Space Explanation via Plan-Property Dependencies: Faster Algorithms & More Powerful Properties IJCAI 2020 Operator Mutexes and Symmetries for Simplifying Planning Tasks AAAI 2019 Learning How to Ground a Plan – Partial Grounding in Classical Planning AAAI 2019 Merge-and-Shrink Task Reformulation for Classical Planning IJCAI 2019 Completeness-Preserving Dominance Techniques for Satisficing Planning IJCAI 2018 On Creating Complementary Pattern Databases IJCAI 2017 From Qualitative to Quantitative Dominance Pruning for Optimal Planning IJCAI 2017 Abstraction Heuristics for Symbolic Bidirectional Search IJCAI 2016 On State-Dominance Criteria in Fork-Decoupled Search IJCAI 2016 From OpenCCG to AI Planning: Detecting Infeasible Edges in Sentence Generation COLING 2016 Simulation-Based Admissible Dominance Pruning IJCAI 2015 Symbolic Merge-and-Shrink for Cost-Optimal Planning IJCAI 2013