Wednesday, March 18, 2020

My presentation on using SAT solvers for constraint and optimization problems

Because of the virus we had to hold this meetup virtually, and I was slated to present there for the Evening of Python Coding. Since we made a recording of it, I can now share. Enjoy my not-ready-for-prime-time voice! (Yes, I need to update my profile picture ... badly.

3 comments:

Rum Tan said...

This presentation is very good and beneficial for all the students who are preparing for the SAT exam. After watching the entire video, I can say with the claim that you have a lot of knowledge and experience in this field. You have shown and used the combination of coding and maths very wisely. When I used to study, I did not have facilities that would help us so easily. But nowadays with the help of internet students can easily learn whatever they want. Thanks for this beneficial blog.

Pay Someone To Take My Accounting Class said...

Thanks for the information

alicia said...

SAT solvers are used in formal hardware and software verification. SAT solvers are used in model checking (particularly limited model checking) to determine if a finite-state system fulfils a specification online muscle growth supplements usa of its expected behaviour.