---
title: "Decoupled Strong Stubborn Sets"
authors:
  - "Daniel Gnad"
  - "Martin Wehrle"
  - "Jörg Hoffmann"
doi: ""
url: "https://ijcai.org/proceedings/2016/441"
pdf: "https://ijcai.org/proceedings/2016/0441.pdf"
venue: "Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence"
year: 2016
pages: "3110-3115"
track: ""
keywords:
---

# Decoupled Strong Stubborn Sets

Daniel Gnad, Martin Wehrle, Jörg Hoffmann

*Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence*, pages 3110-3115.

## Abstract

Recent work has introduced fork-decoupled search, addressing classical planning problems where a single center component provides preconditions for several leaf components. Given a fixed center path πC, the leaf moves compliant with πC can then be scheduled independently for each leaf. Fork-decoupled search thus searches over center paths only, maintaining the compliant paths for each leaf separately. This can yield dramatic benefits. It is empirically complementary to partial order reduction via strong stubborn sets, in that each method yields its strongest reductions in different benchmarks. Here we show that the two methods can be combined, in the form of strong stubborn sets for fork-decoupled search. This can yield exponential advantages relative to both methods. Empirically, the combination reliably inherits the best of its components, and often outperforms both.