Hacker News Comments on
Automated Reasoning: satisfiability
Hacker News Stories and CommentsAll the comments and stories posted to Hacker News that reference this url.
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.
Well done! I'm taking a course on SAT solvers , 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  sent me here . Pretty simple format.
I love how fast your app is!
Which course have you got in mind,  given by Hans Zantema?
 Automated Reasoning: satisfiability, https://www.coursera.org/learn/automated-reasoning-sat