Home
Conferences
Upcoming Conferences
Call for Presentations
Countries
Cities
Code of Conduct
Diversity Tickets
Event Series
Past conferences
Topics
Podcasts
People
Videos
About
Contribute
A Peek Inside SAT Solvers
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.
Length: 35:21
Views 767 Likes: 23
Recorded on 2016-12-01 at
Clojure/ConJ
Look for other videos at
Clojure/ConJ
.
Tweet this video
Jon Smock