SAT
SATisfiabilty problem
充足可能性問題
#略語