Sign in

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

Takuya KuwaharaTakayuki KurodaManabu NakanoyaYutaka YakuwaHideyuki Shimonishi
Published in: IEICE Trans. Commun. (2019)
Keyphrases