Algorithms Cook-Levin's Theorem The Cook–Levin theorem, states that the Boolean satisfiability problem(SAT) is NP-complete.
Web Development Web Video Text Tracks Format (WebVTT): for adding Video Subtitles WebVTT is a format for HTML5 video captions, subtitles and overlays. It is a text file with timed cues, and it starts with a WebVTT body. Cues display text at specific times, while comments are added as notes.