3 citations · 3 across the 3 of their papers we have counts for
1 paper · 1 filter
Ananth Hari, Uzi Vishkin
Horn-satisfiability or Horn-SAT is the problem of deciding whether a satisfying assignment exists for a Horn formula, a conjunction of clauses each with at most one positive litera…