News for hackers. Stuff that matters.

A comment on Jonathan Blow on Rust. Parent comment

Re:Jonathan Blow on Rust by akgvn on Sunday February 02, 2020 @05:17PM (#22219850)
> I'd love it if there were more "intermediate" level documentation sets on SMT - aimed not at people who have just started using SMT, but also not aimed at people who are going to start doing SMT research.

Agreed. I've been doing some research to create an SAT Solver and found surprisingly low amount of learning material. I'd love some recommendations from HN crowd.

[ Parent | on HN ]
Re:Jonathan Blow on Rust by taejo on Monday February 03, 2020 @05:23AM (#22222941)
I learned a good foundation of how SAT solvers work in this course: http://resources.mpi-inf.mpg.de/departments/rg1/teaching/aut...

Lecture notes are there; exercises are available in the linked earlier instances of the course.

[ Parent | on HN ]