WORKSHOP: SAT/SMT Solvers

Channel:
Microsoft Research
Subscribers:
351,000
Published on ● Video Link: https://www.youtube.com/watch?v=DX3G4IoTNF0


Duration: 1:50:54
4,492 views
32

Boolean SAT/SMT solvers have seen dramatic progress in the last decade, and are being used in a diverse set of applications such as program analysis, testing, formal methods, program synthesis, computer security, AI and biology. Given the rather dramatic explosion in the usage scenarios of SAT/SMT solvers, there is great demand for newer kinds of features and higher levels of performance required of these solvers. This session will highlight recent developments around SMT, MAX-SAT, and parallel SAT engines.



Other Videos By Microsoft Research


2016-08-16All Pairs Shortest Path in Quadratic Time with High Probability
2016-08-16Staged Concurrent Program Analysis
2016-08-16The Network as a Platform
2016-08-16Injective Tensor Norms: Hardness and Reductions
2016-08-16Sensing and Feedback of Everyday Activities to Promote Environmentally Sustainable Behaviors
2016-08-16Structure and Knowledge in Natural Language Processing
2016-08-16Dynamic Social Network Analysis: Model, Algorithm, Theory, & Application CMU Research Speaker Series
2016-08-16TUTORIAL: Software Engineering for Mobile Computing
2016-08-16Turing and Darwin: Saving the environment by combining computation and human insight
2016-08-16Allocating Goods to Maximize Fairness
2016-08-16WORKSHOP: SAT/SMT Solvers
2016-08-16Sexy Types ΓÇô Are We Done Yet?
2016-08-16Algorithmic Market Design: Spectrum Sales and BitTorrent Communities
2016-08-16Computing Mistake-Exploiting Strategies in Very Large Zero-Sum Games
2016-08-16Closing Keynote Session on Open Source
2016-08-16TUTORIAL: Microsoft .NET Gadgeteer
2016-08-16Verified Computing Tools
2016-08-16Reconfigurable Computing Comes of Age
2016-08-16Verified Software Experiments
2016-08-16Cumulus and BlueSky: Migrating Enterprise Storage to the Cloud
2016-08-16Putting Real Tools in the Hands of Students


Tags:
microsoft research