Takuya Kuwahara, Takayuki Kuroda, Manabu Nakanoya, Yutaka Yakuwa, Hideyuki Shimonishi. Scalable State Space Search with Structural-Bottleneck Heuristics for Declarative IT System Update Automation. IEICE Transactions, 102-B(3):439-451, 2019. [doi]
Abstract is missing.