Talk:SAT solver

3-SAT vs unique 3-SAT
Based on the abstract of the source cited, the runtimes quoted for PPSZ appear to be true only for unique 3-SAT, not for 3-SAT itself. However, I am hesitant to make an edit without reading the whole source article. Any domain experts know if this is correct? — Preceding unsigned comment added by 192.80.99.244 (talk) 14:55, 27 March 2022 (UTC)

Examples
There are several OEIS sequences that say they have used SAT:  A276096, A308632, A340318. Billymac00 (talk) 19:54, 2 January 2023 (UTC)