conftrace_

Martin Wehrle

5 papers · 2015–2021 · 1 venue · across top CS/AI venues

Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.

Achievements

Jump to papers ↓

🏃 Academic Marathon · Sprint 🌉 Interdisciplinary Bridge · Bronze

Venues

Top co-authors

Silvan Sievers (2) Malte Helmert (2) Michael Katz (2) Alexander Shleyfman (1) Daniel Gnad (1) Dominik Winterer (1) Jorg Hoffmann (1)

Research topics

Artificial Intelligence (1) Knowledge & Reasoning (1) Core AI (1) Reasoning (1)

Keywords

search algorithm (1) classical planning (1) state-space search (1) search pruning (1) pruning technique (1) stubborn set (1)

Papers

On Weak Stubborn Sets in Classical Planning IJCAI 2021 Decoupled Strong Stubborn Sets IJCAI 2016 Graph-Based Factorization of Classical Planning Problems IJCAI 2016 Structural Symmetries for Fully Observable Nondeterministic Planning IJCAI 2016 Integrating Partial Order Reduction and Symmetry Elimination for Cost-Optimal Classical Planning IJCAI 2015