SE-Radio Episode 298: Moshe Vardi on P versus NP

50:43
 
Share
 

Manage episode 183538849 series 1446501
By Discovered by Player FM and our community — copyright is owned by the publisher, not Player FM, and audio streamed directly from their servers.

Felienne talks with Moshe Vardi about P versus NP. Why is this problem so central to computer science? Are we close to solving it? Is it necessary to solve it? Progress toward computing hard problems efficiently with SAT solvers. How SAT solvers work,; applications of SAT like formal verification.

151 episodes available. A new episode about every 10 days averaging 62 mins duration .