The worst-case upper bound for exact 3-satisfiability with the number of clauses as the parameter (Q2897996)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 6057336
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | The worst-case upper bound for exact 3-satisfiability with the number of clauses as the parameter |
scientific article; zbMATH DE number 6057336 |
Statements
The Worst-Case Upper Bound for Exact 3-Satisfiability with the Number of Clauses as the Parameter (English)
0 references
16 July 2012
0 references
X3SAT
0 references
upper bound
0 references
worst case
0 references
connected-clauses principle
0 references
0.8632862567901611
0 references
0.8426005840301514
0 references
0.8317195177078247
0 references
0.8316229581832886
0 references
0.8209439516067505
0 references
