HN Academy

Online courses recommended by Hacker News users. [about]

Automated Reasoning: satisfiability

Coursera · EIT Digital · 2 HN comments

In this course you will learn how to apply satisfiability (SAT/SMT) tools to solve a wide range of problems. Several basic examples are given to get the flavor of the applications: ...
HN Academy Rankings
Provider Info
This course is offered by EIT Digital on the Coursera platform.
HN Academy may receive a referral commission when you make purchases on sites after clicking through links on this page. Most courses are available for free with the option to purchase a completion certificate.

Hacker News Stories and Comments

All the comments and stories posted to Hacker News that reference this course.
Well done! I'm taking a course on SAT solvers [1], but it uses some lisp format and lets you input from a richer language (e.g. distinct, if-then-else, plus integers rather than just booleans), so I had to look up the conjunctive normal format in your app. The readme for this repo [2] sent me here [3]. Pretty simple format.

I love how fast your app is!

[1] https://www.coursera.org/learn/automated-reasoning-sat/

[2] https://github.com/msoos/cryptominisat

[3] http://www.satcompetition.org/2009/format-benchmarks2009.htm...

Which course have you got in mind, [1] given by Hans Zantema?

[1] Automated Reasoning: satisfiability, https://www.coursera.org/learn/automated-reasoning-sat

Lorem ipsum dolor sit amet, consectetur adipisicing elit, sed do eiusmod tempor incididunt ut labore et dolore magna aliqua. Ut enim ad minim veniam, quis nostrud exercitation ullamco laboris nisi ut aliquip ex ea commodo consequat. Duis aute irure dolor in reprehenderit in voluptate velit esse cillum dolore eu fugiat nulla pariatur. Excepteur sint occaecat cupidatat non proident, sunt in culpa qui officia deserunt mollit anim id est laborum.
HN Academy is an independent project and is not operated by Y Combinator, Coursera, edX, or any of the universities and other institutions providing courses.
~ [email protected]
;laksdfhjdhksalkfj more things
yahnd.com ~ Privacy Policy ~