Sveriges mest populära poddar
Software Engineering Radio - the podcast for professional software developers
UtbildningTeknologi

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

51 min•25 juli 2017

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 av Software Engineering Radio - the podcast for professional software developers

Visa alla avsnitt av Software Engineering Radio - the podcast for professional software developers
SE Radio 716: Martin Kleppmann Local-First Software
•55 min
SE Radio 715: Sahaj Garg on Designing for Ambiguity in Human Input
•48 min
SE Radio 714: Costa Alexoglou on Remote Pair Programming
•51 min
SE Radio 713: Héctor Ramón Jiménez on Building a GUI library in Rust
•59 min
SE Radio 712: Dan Lorenc on Sigstore
•39 min
SE Radio 711: Scott Hanselman on AI-Assisted Development Tools
•1 tim 2 min
SE Radio 710: Marc Brooker on Spec-Driven AI Dev
•1 tim 3 min
SE Radio 709: Bryan Cantrill on the Data Center Control Plane
•1 tim 5 min
SE Radio 708: Jens Gustedt on C in 2026
•59 min
SE Radio 707: Subhajit Paul on ERP Automation and AI
•1 tim

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.