5 ms·
hmm I wonder if the article about SAT solvers defines them? https://codingnest.com/modern-sat-solvers-fast-neat-underused-part-1-of-n/ https://codingnest.com/mo
by mlevental 7y ago
hmm I wonder if the article about SAT solvers defines them? https://codingnest.com/modern-sat-solvers-fast-neat-underused-part-1-of-n/ https://codingnest.com/modern-sat-solvers-fast-neat-underuse...
- city41 7y agoTo be fair it took me a bit realize this was part 3 of a series. It would have made more sense to post part 1 to HN.