多くの組合せ問題の解全体は集合族として表現可能である.集合族を表すデータ構造として,Zero-suppressed Binary Decision Diagram(ZDD)が用いられる.解全体を表すZDDが構築できれば,組合せ問題の解全体を列挙して出力することは容易であり,さらに,解の効率的な保持,条件を指定しての検索,一様サンプリング等,解の活用が可能となる.我々が提案するフロンティア法は,組合せ問題の解全体を表現するZDDを直接的に構築する手法であり,複数の研究者によって個々の問題に対して提案されている手法を汎用化したものである.フロンティア法が適用可能な問題には様々な種類があるが,本稿では,それらを分類,整理して,統一的な視点から述べる.