= Horn-SAT {c} {wiki} Horn-SAT asks whether a conjunction of <Horn clause>[Horn clauses] is satisfiable.
Back to article page
