大規模な飛行機給油問題に対して、効率的な多項式時間アルゴリズムを提案した。このアルゴリズムは、入力サイズが十分に大きい場合に多項式時間で動作することを証明した。また、任意の与えられた問題インスタンスに対して、そのアルゴリズムの計算量を事前に予測する効率的な手法を示した。