首页
标签
horn
使用图形的 Horn SAT 算法
这些子句的等效喇叭子句是什么?
CNF 与喇叭可满足性