MNEMOSYNEv0.1.2563

Mnemosynev0.1.2563

Podcasts

Andrea Cirla (233 · 2 transcripts)
Angelicum (0)
Artesquieu (686 · 2 transcripts)
Collège de France (0)
Collège des Bernardins (25)
Elucid (168)
Fadi Akil (Untimely Thoughts) (7)
Gregory B. Sadler (0)
Hopliteia (81)
Intellectual Deep Web (1)
Interesting Times with Ross Douthat (11)
Lecture Sleep Club (0)
Les Financiers (0)
Lex Fridman Podcast (488)
Mets tes bottes ! (0)
Résonance[s] (12)
Rien ne veut rien dire (381 · 1 transcript)
Roger Scruton Lectures (0)
Sator (0)
Storiavoce (0)
Transmission (48 · 18 transcripts)

Browse

Full transcripts
Guests
Tags

Podcasts/Tags/BDDs and SAT solvers

BDDs and SAT solvers

Lex Fridman PodcastDec 30, 2019Knuth, DonaldDonald Knuth: Algorithms, Complexity, and The Art of Computer Programming