Follow @UoMpodcast for service updates and information.
Exploiting the SAT Revolution for Automated Software Verification and Synthesis Author: Lucas Cordeiro Added on Wed Apr 14 13:32:00 BST 2021 Duration: 0:49:57  

Remove Video

Use this form to remove a podcast immediately






Remove Video





Subtitle request


Subtitle quality is dependant on a number of factors therefore accuracy cannot be guaranteed. For more information see mypodcasts.manchester.ac.uk/subtitles

Usernames are recorded for service monitoring purposes.





Subtitle request


The subtitle request has been submitted.

Please allow up to 24 hours for the subtitles to be published. For more information see mypodcasts.manchester.ac.uk/subtitles



Subtitle request


Subtitles are already available for this video.

To request new subtitles, contact podcasting@manchester.ac.uk



Follow @UoMpodcast for service updates and information.