5 1 5 1 Propositional Satisfiability 16 min

[@VietnamSteven]

This video is a treasure for computer science students.

[@pyryseppala9274]

Sir, you are a legend.

[@rafaelgpontes]

One of the best videos so far I found on this. Thank you!

[@IgorGribanov]

at 02:54, look at the first line of the table and the last column: (not p or r) should be true instead of false

[@matthewbillman4485]

Great video! Currently self-teaching DPLL and this was incredibly clear!

[@pacobenav4]

you are a genius man, you blessed my life today

[@broccoli322]

Great video! I personally have used Z3 solver and it is quiet good.

[@amalalmuarik5160]

can we conclude the propositional logic from the tree ?

[@chin-iliaw__gene7089]

Awesome Example

[@garciamartinez1998]

Like si vienes porque tienes el parcial el viernes y vas a suspender

[@dumitrucasap5396]

Best explanation! Thanks.

[@michaelwesolek]

Really nice

[@NayanSeth]

Brilliant explanation. Thanks

[@WilliamJonesGD]

This was very clear - thanks!

[@dieterlan4190]

where can i find more video about SAT?

[@abdulellahalsaheel7391]

Great video, by "basic backtracking search" do you mean DPLL\DLL algorithm? Thanks.

[@sumitlahiri209]

Like si vienes porque tienes el parcial el viernes y vas a suspende. Very good video (pun!!!!)

[@ewilazarus]

thanks a lot

[@PETAJOULE543]

Volume is too low even in max settings, fix that plz

[@adrim7924]

Like si tienes el parcial de LI el viernes y vas a suspender

[@PATeam1997]

Like si vienes porque tienes el parcial el viernes y vas a suspender