SAT-DIFFを用いた木構造データの差分抽出フレームワーク

SAT-DIFFは、木構造データの差分抽出問題をMaxSAT問題として定式化し、最適な差分編集スクリプトを生成する。