Scalable State Space Search with Structural-bottleneck Heuristics for Declarative IT System Update Automation

Takuya KUWAHARA  Takayuki KURODA  Manabu NAKANOYA  Yutaka YAKUWA  Hideyuki SHIMONISHI  

Publication:   IEICE TRANSACTIONS on Communications
Publicized: 2018/09/20
DOI: 10.1587/transcom.2018NVP0009
Type of Manuscript: PAPER
Full Text: PDF(880.1KB)