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

Software Engineering Radio - the podcast for professional software developers
25/07/2017 50 min Episodio 298
SE-Radio Episode 298: Moshe Vardi on P versus NP

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

Descargar episodio Ver en sitio original

Episode Synopsis

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.

More episodes of the podcast Software Engineering Radio - the podcast for professional software developers

SE Radio 701: Max Guernsey, III and Luniel de Beer on Readiness in Software Engineering 30/12/2025
SE Radio 700: Mojtaba Sarooghi on Waiting Rooms for High-Traffic Events 23/12/2025
SE Radio 699: Benjamin Brial on Internal Dev Platforms 17/12/2025
SE Radio 698: Srujana Merugu on How to build an LLM App 09/12/2025
SE Radio 697: Philip Kiely on Multi-Model AI 03/12/2025
SE Radio 696: Flavia Saldanha on Data Engineering for AI 25/11/2025
SE Radio 695: Dave Thomas on Building eBooks Infrastructure 19/11/2025
SE Radio 694: Jennings Anderson and Amy Rose on Overture Maps 12/11/2025
SE Radio 693: Mark Williamson on AI-Assisted Debugging 06/11/2025
SE Radio 692: Sourabh Satish on Prompt Injection 28/10/2025
© 2003-2026 ZARZA | AHEAD OF OUR TIME
privacy policy
In God we trust In God we trust
PreSales Questions? Click Here
or call our toll-free line at +1-888-5002068 Miami, Florida, USA