HN Theater @HNTheaterMonth

The best talks and videos of Hacker News.

Hacker News Comments on
A Peek Inside SAT Solvers - Jon Smock

ClojureTV · Youtube · 8 HN points · 0 HN comments
HN Theater has aggregated all Hacker News stories and comments that mention ClojureTV's video "A Peek Inside SAT Solvers - Jon Smock".
Youtube Summary
SAT (and SMT) solvers have had much success in the formal methods communities. While production solvers are large and highly engineered, the concepts that made these tools practical are easy to understand. This talk takes a peek under the hood.
HN Theater Rankings

Hacker News Stories and Comments

All the comments and stories posted to Hacker News that reference this video.
Jan 24, 2021 · 1 points, 0 comments · submitted by daenz
Dec 11, 2016 · 3 points, 0 comments · submitted by dkarapetyan
Dec 05, 2016 · 2 points, 0 comments · submitted by espeed
Dec 03, 2016 · 2 points, 0 comments · submitted by tosh
HN Theater is an independent project and is not operated by Y Combinator or any of the video hosting platforms linked to on this site.
~ yaj@
;laksdfhjdhksalkfj more things ~ Privacy Policy ~
Lorem ipsum dolor sit amet, consectetur adipisicing elit, sed do eiusmod tempor incididunt ut labore et dolore magna aliqua. Ut enim ad minim veniam, quis nostrud exercitation ullamco laboris nisi ut aliquip ex ea commodo consequat. Duis aute irure dolor in reprehenderit in voluptate velit esse cillum dolore eu fugiat nulla pariatur. Excepteur sint occaecat cupidatat non proident, sunt in culpa qui officia deserunt mollit anim id est laborum.