Lewis 1978 (Renamable Horn Boolean Satisfiability)
Jump to navigation
Jump to search
Time Complexity
$O(mn^{2})$
Space Complexity
()
Description
Approximate?
Exact
Randomized?
No, deterministic
Model of Computation
Year
1978