Satisfiability with DP and DPLL yields different results

前端 未结 0 1334
心在旅途
心在旅途 2021-01-23 17:05

I have the following clauses:

1. {P,Q,~R}
2. {~P,R}
3. {P,~Q,S}
4. {~P,~Q,~R}
5. {P,~S}

I have to prove the satisfiability using DP and DPLL sepa

相关标签:
回答
  • 消灭零回复
提交回复
热议问题