Derandomizing the HSSW algorithm for 3-SAT (Q378221): Difference between revisions
From MaRDI portal
EloiFerrer (talk | contribs) Page on [mardi] deleted: Publication:378221 |
EloiFerrer (talk | contribs) Merged Item from Q3087934 |
||||||||||||||
aliases / en / 0 | aliases / en / 0 | ||||||||||||||
Derandomizing HSSW Algorithm for 3-SAT | |||||||||||||||
description / en | description / en | ||||||||||||||
scientific article; zbMATH DE number 5939993 | |||||||||||||||
Property / title | |||||||||||||||
Derandomizing HSSW Algorithm for 3-SAT (English) | |||||||||||||||
Property / title: Derandomizing HSSW Algorithm for 3-SAT (English) / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / zbMATH Open document ID | |||||||||||||||
Property / zbMATH Open document ID: 1353.68299 / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / DOI | |||||||||||||||
Property / DOI: 10.1007/978-3-642-22685-4_1 / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / published in | |||||||||||||||
Property / published in: Lecture Notes in Computer Science / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / publication date | |||||||||||||||
17 August 2011
| |||||||||||||||
Property / publication date: 17 August 2011 / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / zbMATH DE Number | |||||||||||||||
Property / zbMATH DE Number: 5939993 / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / OpenAlex ID | |||||||||||||||
Property / OpenAlex ID: W1823899455 / rank | |||||||||||||||
Normal rank | |||||||||||||||
links / mardi / name | links / mardi / name | ||||||||||||||
Latest revision as of 12:55, 29 April 2024
scientific article; zbMATH DE number 5939993
- Derandomizing HSSW Algorithm for 3-SAT
Language | Label | Description | Also known as |
---|---|---|---|
English | Derandomizing the HSSW algorithm for 3-SAT |
scientific article; zbMATH DE number 5939993 |
|
Statements
Derandomizing the HSSW algorithm for 3-SAT (English)
0 references
Derandomizing HSSW Algorithm for 3-SAT (English)
0 references
11 November 2013
0 references
17 August 2011
0 references
3-SAT
0 references
deterministic algorithm
0 references
derandomization
0 references