|
|||||
|
|
A Short Note on Some Tractable Cases of the Satisfiability Problem |
|
| Authors: | Hans van Maaren |
| Affiliation: | Faculty of Information Technology and Systems, Delft University of Technology, Delft, The Netherlandsf1 |
| Abstract: | 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. |
| Keywords: | satisfiability autarkies horn complexity |
| 本文献已被 ScienceDirect 等数据库收录！ | |