conftrace_

Gabriele Röger

6 papers · 2013–2020 · 1 conference · across top CS/AI conferences

Achievements

Jump to papers ↓

🏃 Academic Marathon (7) 🧭 Keyword Pioneer 🐝 Cross-Pollinator (3) 🚀 Conference Pioneer

Conferences

IJCAI (6)

Top co-authors

Malte Helmert (5) Florian Pommerening (4) Blai Bonet (1) Hadrien Cambazad (1) Louis-Martin Rousseau (1) Salomé Eriksson (1) Domenico Salvagnin (1) Jendrik Seipp (1)

Keywords

unsolvability certificate (2) shortest path problem (1) classical planning (1) lagrangian decomposition (1) proof system (1) abstraction heuristic (1) sound and complete (1) cost partitioning (1) operator-counting heuristic (1) planning task (1) independent verification (1)

Papers

Lagrangian Decomposition for Classical Planning (Extended Abstract) IJCAI 2020 Inductive Certificates of Unsolvability for Domain-Independent Planning IJCAI 2018 Towards Certified Unsolvability in Classical Planning IJCAI 2017 Correlation Complexity of Classical Planning Domains IJCAI 2016 Heuristics for Cost-Optimal Classical Planning Based on Linear Programming IJCAI 2015 Getting the Most Out of Pattern Databases for Classical Planning IJCAI 2013