SAT

About

Satisfiability Problem（充足可能問題）

ある命題論理式が与えられたとき，項内に含まれる変数の組み合わせによって式全体をTrueにできるか？という問題