3SAT
3SAT restricts the boolean formula to CNF with (at most) 3 literals per clause
Parameters
- : number of variables
Related Problems
- SAT2
Filters
Computational Model
Randomization
Approximation
Algorithms Table
Displaying 1 of 1 algorithms
| See more | ||||
|---|---|---|---|---|
| Hertli (Modified PPSZ) | 2014 | O(1.30704^n) | O(kn) |
Reductions Table
Insuffient Data to display table
Other relevant algorithms
Insuffient Data to display table