可满足性工具求解西瓜视频个性化题目的应用

       2018年的新风口是各大平台的答题赢奖金活动，其中今日头条旗下的西瓜视频算是用户量非常不错的一个平台。当时头条为了防止模拟器多开自动答题情况（还有组团答题），推出了个性化题。所谓的个性化题就是不同的用户看到的题目相同，当时每个人的选项不同或者选项位置不同，这样实现了一题多解的效果。        对于令人棘手的个性化题目，我们使用已有的研究知识，可以用可满足性工具（SAT）求解正确答

>>阅读原文<<