DAGを表す述語を持つ一階論理式の重み付き充足度の計算

有向非巡回グラフ(DAG)を表す述語を持つ一階論理式の重み付き充足度を多項式時間で計算できることを示した。さらに、DAGの根と葉の制約を加えた場合の拡張も示した。