Solving SAT using tableau calculus
-
31-10-2019 - |
سؤال
I've learned about tableau calculus which is a decision procedure solving the problem of satisfiability of a first order logic formula. Now I'm wondering why this technique can't be used to solve the satisfiability problem (SAT)?
لا يوجد حل صحيح
لا تنتمي إلى cs.stackexchange