Talk:SAT solver
Add topic| This is the talk page for discussing improvements to the SAT solver article. This is not a forum for general discussion of the subject of the article. |
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
[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)
Examples
[edit]There are several OEIS sequences that say they have used SAT: A276096, A308632, A340318. Billymac00 (talk) 19:54, 2 January 2023 (UTC)
Wiki Education assignment: Proofs and Problem Solving
[edit]
This article was the subject of a Wiki Education Foundation-supported course assignment, between 13 January 2026 and 17 April 2026. Further details are available on the course page. Student editor(s): Jevanniln02 (article contribs).
— Assignment last updated by Jevanniln02 (talk) 03:54, 1 February 2026 (UTC)