A Short Note on Some Tractable Cases of the Satisfiability Problem
A Short Note on Some Tractable Cases of the Satisfiability Problem
复制标题
关于可满足性问题的一些易于处理的案例的简短说明
DOI：
10.1006/inco.2000.2867
复制
发表时间：
2000
期刊：
影响因子：
--
通讯作者：
H. Maaren
中科院分区：
文献类型：
--
作者：
H. Maaren
证明了线性自给自足可解的CNF公式的易处理类适当地包含q-Horn公式类，并且它与SLUR不可比较.
It is shown that the tractable class of CNF formulas solvable by linear autarkies properly contains the class of q-Horn formulas and that it is incomparable with SLUR.