m8ta
You are not authenticated, login.
text: sort by
tags: modified
type: chronology
{1562}
hide / / print
ref: -0 tags: SAT solver blog post date: 10-11-2023 20:24 gmt revision:1 [0] [head]

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.