Jump to content

Talk:SAT solver

Page contents not supported in other languages.
From Wikipedia, the free encyclopedia

3-SAT vs unique 3-SAT

[edit]

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)[reply]

Examples

[edit]

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