All
Search
Images
Videos
Shorts
Maps
News
More
Shopping
Flights
Travel
Notebook
Report an inappropriate content
Please select one of the options below.
Not Relevant
Offensive
Adult
Child Sexual Abuse
Length
All
Short (less than 5 minutes)
Medium (5-20 minutes)
Long (more than 20 minutes)
Date
All
Past 24 hours
Past week
Past month
Past year
Resolution
All
Lower than 360p
360p or higher
480p or higher
720p or higher
1080p or higher
Source
All
Dailymotion
Vimeo
Metacafe
Hulu
VEVO
Myspace
MTV
CBS
Fox
CNN
MSN
Price
All
Free
Paid
Clear filters
SafeSearch:
Moderate
Strict
Moderate (default)
Off
Filter
6:20
Satisfiability
372 views
Jan 22, 2016
YouTube
WikiAudio
1:30:10
Answer Set Programming in a Nutshell
4.6K views
Apr 6, 2021
YouTube
Simons Institute for the Theory of Computing
8:06
propositional satisfiability, DPLL
55.4K views
Feb 26, 2013
YouTube
Wheeler Ruml
30:29
Constraint satisfaction problems
204.2K views
Jun 29, 2015
YouTube
Francisco Iacobelli
47:13
Recitation 23: Computational Complexity
45.8K views
Jan 14, 2013
YouTube
MIT OpenCourseWare
11:30
3-CNF SAT (3 CNF Satisfiability)
61K views
Apr 22, 2020
YouTube
Anand Seetharam
18:11
Introduction to Boolean Algebra (Part 1)
2M views
Apr 7, 2015
YouTube
Neso Academy
10:01
Introduction to Boolean Algebra (Part 2)
1M views
Apr 7, 2015
YouTube
Neso Academy
16:24
NP Completeness 4 - Satisfiability and 3SAT
48.8K views
Apr 2, 2021
YouTube
Professor Painter
17:23
Propositional Logic − Logical Equivalences
1.1M views
May 19, 2018
YouTube
Neso Academy
5:05
Tautology, Contradiction, Contingency & Satisfiability
393.8K views
May 16, 2018
YouTube
Neso Academy
10:54
Elasticity of Substitution: CES Production Function
106.6K views
May 25, 2014
YouTube
Economics in Many Lessons
29:08
Properties of Functions - Even vs Odd (Precalculus - College Algebr
…
123.6K views
Oct 16, 2019
YouTube
Professor Leonard
10:44
NP-Complete Explained (Cook-Levin Theorem)
175K views
Aug 14, 2018
YouTube
Undefined Behavior
26:55
CONJUNCTIVE NORMAL FORM [CNF] || PROPOSITIONAL CALCU
…
106.1K views
Jan 5, 2019
YouTube
EXAM TIME
1:18:34
Logic 1 - Propositional Logic | Stanford CS221: AI (Autumn 2019)
103.3K views
Dec 17, 2020
YouTube
Stanford Online
9:07
6 Tautology | Contradiction | Contingency | satisfiability |Propo
…
258.4K views
Nov 16, 2017
YouTube
KnowledgeGATE by Sanchit Sir
5:55
How To Evaluate Composite Functions Using Function Tables
…
157.9K views
Nov 14, 2019
YouTube
The Organic Chemistry Tutor
10:54
The Satisfiability Problem, and SAT is in NP
67.2K views
Mar 5, 2021
YouTube
Easy Theory
11:17
Boolean Algebra Introduction | Rules, Boolean Postulates and La
…
102.6K views
Jun 15, 2020
YouTube
Easy Engineering Classes
20:41
Simplification of Boolean Expression -Important Problems S
…
12.7K views
Jan 19, 2021
YouTube
Padmasri Naban
20:42
DIFFERENTIABILITY OF A FUNCTION: CONTINUITY AND DIF
…
532.8K views
Jul 11, 2017
YouTube
Neha Agrawal Mathematically Inclined
31:53
8. NP-Hard and NP-Complete Problems
2.5M views
Feb 28, 2018
YouTube
Abdul Bari
3:28
3 CNF Subset Sum - Georgia Tech - Computability, Complexity, Theor
…
59.6K views
Feb 23, 2015
YouTube
Udacity
8:03
Consumer Utility Functions: Calculating the Elasticity of Substi
…
20.6K views
Jul 16, 2018
YouTube
Economics in Many Lessons
4:28
Boolean Satisfiability Problem - Intro to Theoretical Computer Scie
…
157.5K views
Feb 23, 2015
YouTube
Udacity
7:31
5.2 Satisfiability , NP hard and NP complete
63.8K views
Nov 17, 2020
YouTube
OU Education
2:32
The Resolution Principle (Proving if an Argument is Valid)
36.3K views
Jan 12, 2021
YouTube
Neso Academy
8:59
Lec-3: Types of Logic Gates | Symbols | Truth Tables
1.8M views
Jun 10, 2021
YouTube
Gate Smashers
19:32
Discrete Math - 1.1.1 Propositions, Negations, Conjunctions and Disj
…
1.5M views
Feb 18, 2020
YouTube
Kimberly Brehm
See more videos
More like this
Feedback