Search

Home > Software Engineering Radio - the podcast for professional software developers > SE-Radio Episode 298: Moshe Vardi on P versus NP
Podcast: Software Engineering Radio - the podcast for professional software developers
Episode:

SE-Radio Episode 298: Moshe Vardi on P versus NP
Category: Technology
Duration: 00:50:43
Publish Date: 2017-07-25 16:40:41
Description:

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.
Total Play: 0