Andrew Miloradovsky is a user on functional.cafe. You can follow them or interact with them if you have an account anywhere in the fediverse.
If you don't, you can sign up here.
A Peek Inside SAT Solvers - Jon Smock
"#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."
https://www.youtube.com/watch?v=d76e4hV1iJY
And, by the way,
"#Z3 is a #theorem #prover from #Microsoft #Research. It is licensed under the MIT license."
