| This is the talk page for discussing improvements to the SAT solver article. This is not a forum for general discussion of the article's subject. |
Article policies
|
| Find sources: Google (books · news · scholar · free images · WP refs) · FENS · JSTOR · TWL |
 | This article is rated C-class on Wikipedia's content assessment scale. It is of interest to the following WikiProjects: | ||||||||||||||||||||||||||||||
| |||||||||||||||||||||||||||||||
3-SAT vs unique 3-SAT
editBased 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
editThere are several [1] OEIS sequences that say they have used SAT: A276096, A308632, A340318. Billymac00 (talk) 19:54, 2 January 2023 (UTC)