Are there any techniques for checking whether a clause is subsumed by another clause when adding it to a cnf formula?
-
05-11-2019 - |
سؤال
When doing variable elimination on a formula in cnf form, there is created a lot of new clauses. Is there any efficient way to check if these are subsumed by other, already existing clauses?
لا يوجد حل صحيح
لا تنتمي إلى cs.stackexchange