Disjunctive Normal Form SAT
DNF-SAT restricts the boolean formula to disjunctive normal form (DNF), meaning it is the OR of ANDs.
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