Derandomizing the HSSW algorithm for 3-SAT (Q378221): Difference between revisions

← Older edit

@@ aliases / en / 0 / aliases / en / 0 @@
+Derandomizing HSSW Algorithm for 3-SAT
@@ description / en / description / en @@
-scientific article
+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 @@
+.68299
@@ Property / zbMATH Open document ID: 1353.68299 / rank @@
+Normal rank
@@ Property / DOI @@
+.1007/978-3-642-22685-4_1
@@ Property / DOI: 10.1007/978-3-642-22685-4_1 / rank @@
+Normal rank
@@ Property / published in @@
+Lecture Notes in Computer Science
@@ Property / published in: Lecture Notes in Computer Science / rank @@
+Normal rank
@@ Property / publication date @@
+August 2011Timestamp +2011-08-17T00:00:00Z
Timezone +00:00
Calendar Gregorian
Precision 1 day
Before 0
After 0
-Timestamp
++2011-08-17T00:00:00Z
-Timezone
++00:00
-Calendar
+Gregorian
-Precision
+day
 Before
 After
@@ Property / publication date: 17 August 2011 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+5939993
@@ Property / zbMATH DE Number: 5939993 / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W1965847460
@@ Property / OpenAlex ID: W1965847460 / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W1823899455
@@ Property / OpenAlex ID: W1823899455 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.3766
@@ Property / arXiv ID: 1102.3766 / rank @@
+Normal rank