Decision Procedures for Recursive Data Structures with Integer Arithmetic
Why it's on BrighterTube
Advanced · Hand-picked by a BrighterTube curator · found via round-3 back catalogue of a channel Lumen picks video by video · 82% confidenceCovers decision procedures for recursive data structures with arithmetic constraints. Teaches formal methods and automated reasoning techniques.
What you'll learn
A 72-minute video from Microsoft Research: “Decision Procedures for Recursive Data Structures with Integer Arithmetic”.
Video by Microsoft Research, played through YouTube's embedded player.