EPISODE · Jul 25, 2017 · 50 MIN
SE Radio 298: Moshe Vardi on P versus NP
from Software Engineering Radio - the podcast for professional software developers · host IEEE Computer Society
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.
Embed this episode
NOW PLAYING
SE Radio 298: Moshe Vardi on P versus NP
0:00
50:43
1×
No transcript for this episode yet
Similar Episodes
No similar episodes found.
Similar Podcasts
No similar podcasts found.
Frequently Asked Questions
How long is this episode of Software Engineering Radio - the podcast for professional software developers?
This episode is 50 minutes long.
When was this Software Engineering Radio - the podcast for professional software developers episode published?
This episode was published on July 25, 2017.
Can I download this Software Engineering Radio - the podcast for professional software developers episode?
Yes. Use the download control on the episode player to save the publisher-provided media file.
URL copied to clipboard!