3-SAT faster and simpler -- unique-SAT bounds for PPSZ hold in general (Q5494936)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: 3-SAT faster and simpler -- unique-SAT bounds for PPSZ hold in general |
scientific article; zbMATH DE number 6323077
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | 3-SAT faster and simpler -- unique-SAT bounds for PPSZ hold in general |
scientific article; zbMATH DE number 6323077 |
Statements
3-SAT Faster and Simpler---Unique-SAT Bounds for PPSZ Hold in General (English)
0 references
30 July 2014
0 references
satisfiability
0 references
exponential time
0 references
algorithm
0 references
3-SAT
0 references
0.9414761066436768
0 references
0.9158557057380676
0 references
0.9114990234375
0 references
0.8847832083702087
0 references
0.8548401594161987
0 references
