Use LEFT and RIGHT arrow keys to navigate between flashcards;
Use UP and DOWN arrow keys to flip the card;
H to show hint;
A reads text to speech;
9 Cards in this Set
- Front
- Back
Boolean Satisfiability (SAT) Problem |
|
|
Partial Interpretation |
|
|
SAT Solver Problem I/O and Variables |
|
|
SAT Solver Cons Algorithm |
|
|
Tracing SAT |
|
|
Ways to Improve Solvers' Efficiency |
|
|
3-SAT polynomial reduction |
|
|
MaxStat is NP Complete |
|
|
Examples of Other NP Complete Problems |
|