Automated Reasoning
satisfiability

share ›
‹ links

Below are the top discussions from Reddit that mention this online Coursera course from EIT Digital .

Offered by EIT Digital . In this course you will learn how to apply satisfiability (SAT/SMT) tools to solve a wide range of problems. ... Enroll for free.

Reddsera may receive an affiliate commission if you enroll in a paid course after using these buttons to visit Coursera. Thank you for using these buttons to support Reddsera.

Taught by
Hans Zantema
prof.dr.
and 8 more instructors

Offered by
EIT Digital

Reddit Posts and Comments

0 posts • 2 mentions • top 2 shown below

r/ProgrammingLanguages • comment
2 points • programmerChilli

I like the Z3py tutorial: https://ericpony.github.io/z3py-tutorial/guide-examples.htm, it has a lot more examples than the Rise4fun tutorial does.

There's also https://sat-smt.codes/main.html which is a whole book of using SMT solvers.

Finally, there's also a Coursera course: https://www.coursera.org/learn/automated-reasoning-sat#syllabus

Go to Reddit comment
r/ComputerEngineering • comment
1 points • chequecipote

I'm no good at math either, but I worked my tail off for a couple of semesters and get by just fine. I actually really enjoy my job because it's finally a practical application of math. That made it much easier to understand and enjoy it.

If you've got time for it, I'd recommend taking a free online course somewhere like Coursera on some engineering topic (I like the course at https://www.coursera.org/learn/automated-reasoning-sat for my particular job). You'll really get a taste for what computer engineering is all about.

Go to Reddit comment