本論文では、箱制約付き二次計画問題を解くための効率的なブランチアンドバウンドアルゴリズムを提案する。既存のツールであるセミデファイニットプログラミング(SDP)に基づく下界と、新しい最適性に基づく線形カットを組み合わせることで、変数の固定を可能にし、サブ問題のサイズを縮小することができる。