Pages that link to "K-SAT"
← K-SAT
Jump to navigation
Jump to search
The following pages link to K-SAT:
Displayed 25 items.
View (previous 50 | next 50) (20 | 50 | 100 | 250 | 500)- Family:Boolean Satisfiability (← links)
- Subset Sum (← links)
- SAT (← links)
- Conjunctive Normal Form SAT (← links)
- Disjunctive Normal Form SAT (← links)
- 1-in-3SAT (← links)
- Monotone 1-in-3SAT (← links)
- Monotone Not-Exactly-1-in-3SAT (← links)
- All-Equal-SAT (← links)
- Not-All-Equal 3-SAT (NAE 3SAT) (← links)
- Monotone Not-All-Equal 3-SAT (Monotone NAE 3SAT) (← links)
- 2SAT (← links)
- 3SAT (← links)
- 3SAT-5 (← links)
- 4SAT (← links)
- Monotone 3SAT (← links)
- XOR-SAT (← links)
- Horn SAT (← links)
- Dual-Horn SAT (← links)
- Renamable Horn (← links)
- MaxSAT (← links)
- Strong Exponential Time Hypothesis (SETH) (← links)
- More Believable Exponential Time Hypothesis (MBETH) (← links)
- List:Algorithms (← links)
- Reduction from k-SAT to Subset Sum (← links)