関連分野

SAT(Satisfiablity prblem:制約充足性問題)

  • CSPSAT2
    CSPをSATに変換して効率的に解く手法を研究しているプロジェクト

TOC(Theory of Constraint:制約理論)

IDEF

言語学・自然言語処理

分子生物情報学

最適化問題

線形論理

論理プログラミング・並列論理プログラミング

計算理論

サイト内関連記事