關於「SAT 演算法」標籤，搜尋引擎有相關的訊息討論：

(一) SAT problem 介紹 - 學而時習之willyc20.github.io › 2016/12/17 › sat-problem-1[PDF] 1 NP 問題www.csie.ntu.edu.tw › ~sprout › algo2016 › homework › week10state-of-the-art in SAT solving - HackMDhackmd.io › ...Boolean satisfiability problem - Wikipediaen.wikipedia.org › wiki › Boolean_s