可滿足性工具求解西瓜視頻個性化題目的應用

       2018年的新風口是各大平臺的答題贏獎金活動，其中今日頭條旗下的西瓜視頻算是用戶量非常不錯的一個平臺。當時頭條爲了防止模擬器多開自動答題情況（還有組團答題），推出了個性化題。所謂的個性化題就是不同的用戶看到的題目相同，當時每個人的選項不同或者選項位置不同，這樣實現了一題多解的效果。        對於令人棘手的個性化題目，我們使用已有的研究知識，可以用可滿足性工具（SAT）求解正確答

>>阅读原文<<