External Source

Thomas Ball - Advances In Automated Theorem Proving

2012 1:14:13

In the last decade, advances in satisfiability-modulo-theories (SMT) solvers have powered a new generation of software tools for ...

Choose a download method below. All links open in new tabs.

Service	Features	Action
SaveFrom	MP4 & MP3 • HD Quality • Browser Extension Available	Download

Security Notice: These are third-party services. We recommend using antivirus software and being cautious of pop-up ads.