English subtitles

← 07-13 One More Detail

Get Embed Code
1 Language

Showing Revision 1 created 10/03/2012 by Amara Bot.

  1. Now if you have paid attention so far,
  2. I hope you have noticed that I forgotten to mention
  3. one detail about the satisfiability problem so far,
  4. and I would like you to tell me what that is.
  5. So what do we still need to talk about?
  6. The length of the Boolean formula that we're given as an input to SAT?
  7. The number of variables or the number of times each variable occurs?
  8. So only one of them is true,
  9. and I would like you to check the one which is true.