本帖最後由 domen111 於 2015-2-5 17:15 編輯 附件的上課note參考自建中講義及各blog (建中講義有諸多例題,有空一定要練習看看 http://pisces.ck.tp.edu.tw/~peng ... 9c44f1b62521f8358c5) 2SAT 證明 http://pi ...