SAT ソルバ（サットソルバー）
SAT ソルバ（サットソルバー） 英語表記: SAT Solver 概要 SATソルバは、与えられたブール論理式が「充足可能（Satisfiable）」であるかどうかを判定するための、高度に最適化されたアルゴリズムおよび […]
制約プログラミング
このカテゴリの用語
MiniZinc（ミニジンク）
MiniZinc（ミニジンク） 英語表記: MiniZinc 概要 MiniZinc（ミニジンク）は、複雑な最適化問題や決定問題を扱う制約プログラミングのために設計された、高水準な宣言型モデリング言語です。プログラミング […]
Constraint Programming
Constraint Programming 英語表記: Constraint Programming 概要 制約プログラミング（Constraint Programming, CP）は、プログラミングパラダイムの分類に […]