Horn SAT
Horn SAT restricts the boolean formula to the conjunction of Horn clauses, i.e. clauses with at most one positive literal
Parameters
- : number of variables
Related Problems
- SAT2
Insufficient data to display graph
Filters
Computational Model
Randomization
Approximation
Algorithms Table
Insuffient Data to display table
Reductions Table
Insuffient Data to display table
Other relevant algorithms
Insuffient Data to display table