<p>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.</p>

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.

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

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

Software Engineering Radio is a podcast targeted at the professional software developer. The goal is to be a lasting educational resource, not a newscast. SE Radio covers all topics software engineering. Episodes are either tutorials on a specific topic, or an interview with a well-known character from the software engineering world. All SE Radio episodes are original content — we do not record conferences or talks given in other venues. Each episode comprises two speakers to ensure a lively listening experience. SE Radio is brought to you by the IEEE Computer Society and IEEE Software magazine.

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

Sign up to save your podcasts

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

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

More shows like Software Engineering Radio - the podcast for professional software developers

.NET Rocks!

The Changelog: Software Development, Open Source

The Cloudcast

Thoughtworks Technology Podcast

Talk Python To Me

Software Engineering Daily

Soft Skills Engineering

Data Engineering Podcast

Syntax - Tasty Web Development Treats

CoRecursive: Coding Stories

Kubernetes Podcast from Google

The Stack Overflow Podcast

The Real Python Podcast

Oxide and Friends

The Pragmatic Engineer