HN Academy

The best online courses of Hacker News.

Hacker News Comments on
Automated Reasoning: satisfiability

Coursera · EIT Digital · 2 HN comments

HN Academy has aggregated all Hacker News stories and comments that mention Coursera's "Automated Reasoning: satisfiability" from EIT Digital.
Course Description
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
  • Ranked #9 this year (2019) · view
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 url.
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

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 ~
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.