游戏中的满意度解算器

Question

在人工智能的视频游戏中使用过SAT或SMT解算器吗？用什么任务解决了？几乎所有我能找到的都与谜题有关。