SE Radio 298: Moshe Vardi on P versus NP

51 min•25 juli 2017

Om avsnittet

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.

Fler avsnitt

Software Engineering Radio - the podcast for professional software developers med [email protected] (SE-Radio Team) finns tillgänglig på flera plattformar. Informationen på denna sida kommer från offentliga podd-flöden.

SE Radio 298: Moshe Vardi on P versus NP

Om avsnittet

Fler avsnitt

SE Radio 745: Andrew Tridgell on Flight Control Software

SE Radio 744: Danilo Krummrich on Rust in the Linux Kernel

SE Radio 743: Sowjanya Pandruju on Managing Agent State

SE Radio 742: Tim Varelmann on Mathematical Optimization for Software Engineers

SE Radio 741: Sahil Walia on Schema Changes and Data Migrations

SE Radio 740: Raju Dandigam on Building Production AI Agents

SE Radio 739: Erin Catto on Video Game Physics Engines

SE Radio 738: Milan Milanovic on the Laws of Software Engineering

SE Radio 737: Owen McGirr on Software Accessibility

SE Radio 736: Sahil Walia on Apache Iceberg