Derandomizing the HSSW algorithm for 3-SAT (Q378221): Difference between revisions
From MaRDI portal
EloiFerrer (talk | contribs) Changed label, description and/or aliases in en, and other parts |
EloiFerrer (talk | contribs) Page on [mardi] deleted: Publication:378221 |
||
links / mardi / name | links / mardi / name | ||
Revision as of 12:54, 29 April 2024
No description defined
Language | Label | Description | Also known as |
---|---|---|---|
English | Derandomizing the HSSW algorithm for 3-SAT |
No description defined |
Statements
Derandomizing the HSSW algorithm for 3-SAT (English)
0 references
11 November 2013
0 references
3-SAT
0 references
deterministic algorithm
0 references
derandomization
0 references