fabriceleal

I just got started on writing a SAT solver (https://github.com/rjmacready/sat-solver) (this is not working ATM) and while I’ve been finding some resources, I feel like I’m missing something … does anyone have some beginner pointers on SAT solver implementation? I was looking for something like pseudocode, algorithm visualization (like this http://www.cs.usfca.edu/~galles/visualization/Algorithms.html, for instance), anything.

Also if anyone knows about how can they be applied in a compiler (typesystem, optimization, …), feedback is also welcomed.

Is anyone taking the C++ Grandmaster Certification (http://www.cppgm.org/)?

When it began, there was a discussion were some people pointed that this would be a herculean task, others suspected that this was a hoax. I'm asking for feedback, positive or negative, from people who might be doing this, or started and then dropped it.

I'm not affiliated with this project.