Hacker News Comments on
Automated Reasoning: satisfiability
Coursera
·
EIT Digital
·
3
HN comments
Course Description
HN Academy Rankings
- This course is unranked · view top recommended courses
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.
See also: all Reddit discussions that
mention this course at reddsera.com.
Hacker News Stories and Comments
All the comments and stories posted to Hacker News that reference this url.
⬐
Jul 31, 2020
·
psandersen on
Kissat SAT Solver
I've been looking to get my feet wet with SAT and/or SMT solvers; can anyone recommend any short courses that I could start with to get a practical feel where where & how to use them? Python would be preferred.Maybe this https://www.coursera.org/learn/automated-reasoning-sat would be a good start?
Ideally I would like to be able to take predicted outputs from ML plus business requirements to solve allocation problems; and more pie in the sky I would like to know enough to get inspiration for how to link a neural network with a sat solver, such as perhaps replacing or augmenting beam search in sequence decoding tasks.
⬐
Jul 22, 2019
·
SilasX on
WASM Builds of the Z3 SMT Solver
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...
⬐
Feb 04, 2019
·
YorkshireSeason on
SAT/SMT by Example [pdf]
Which course have you got in mind, [1] given by Hans Zantema?[1] Automated Reasoning: satisfiability, https://www.coursera.org/learn/automated-reasoning-sat