{1562} revision 1 modified: 10-11-2023 20:24 gmt

Modern SAT solvers: fast, neat and underused (part 1 of N)

A set of posts that are worth re-reading.

See also: https://www.borealisai.com/research-blogs/tutorial-11-sat-solvers-iii-factor-graphs-and-smt-solvers/

Of note: Selsam 2019 indicates that Survey propagation (Knuth 2015), an extension to Belief propagation, does not seem to extend well to hard SAT problems.