推 LPH66 : 你所謂的"方程"是什麼樣子的東西? 07/23 21:44
→ LPH66 : 或者該問: 你想用布林代數解什麼東西? 07/23 21:45
推 chemmachine : 可以做、編造方程,不過沒看過實際應用,資工系常用 07/25 22:01
→ chemmachine : 布林代數,它們不需要布林代數方程,可見實用性不高 07/25 22:02
→ chemmachine : 常用的就基本性質 07/25 22:03
推 sunev : SAT problem 算嗎? 07/25 22:55
→ chemmachine : 有些論文有,少見,查到了。 07/25 23:26