News for hackers. Stuff that matters.

A comment on Modern SAT solvers: fast, neat and underused. Parent comment

Re:Modern SAT solvers: fast, neat and underused by vsrinivasan on Tuesday May 21, 2019 @12:57AM (#19967645)
Hello, i am CS undergrad.i wish to learn about program synthesis. while researching online for courses available. i came across the one offered at univ of washington and a few more, they do not have video lectures.if possible, please provide pointers on the right place to start.
[ Parent | on HN ]
Re:Modern SAT solvers: fast, neat and underused by mazesc on Tuesday May 21, 2019 @01:28AM (#19967748)
Hi,this blog post is a good starting point: https://alexpolozov.com/blog/program-synthesis-2018/

Among other documents, it links to this extensive survey: https://www.microsoft.com/en-us/research/wp-content/uploads/...

All the best!

[ Parent | on HN ]