Talk:SAT solver

Latest comment: 1 year ago by Billymac00 in topic Examples

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