最大制約充足問題

ウィキペディアから