そういえば、PPL2017のカテゴリ4のスライドが公開されていた。 「SATソルバーの最新動向と利用技術」「ライブ仮想マシン移送の実現技術と最新動向について」 https://ppl2017.ipl-e.ai.kyutech.ac.jp/program.html