• Shuffle
    Toggle On
    Toggle Off
  • Alphabetize
    Toggle On
    Toggle Off
  • Front First
    Toggle On
    Toggle Off
  • Both Sides
    Toggle On
    Toggle Off
  • Read
    Toggle On
    Toggle Off
Reading...
Front

Card Range To Study

through

image

Play button

image

Play button

image

Progress

1/9

Click to flip

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