DIMACS TR: 99-26
A Short Note on Linear Autarkies, q-Horn Formulas and the Complexity Index
Author: Hans van Maaren
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.
Paper Available at:
DIMACS Home Page