Polynomial Time SAT Decision for Complementation-Invariant Clause-Sets, and Sign-non-Singular Matrices (Q3612474)
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 5527218
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Polynomial Time SAT Decision for Complementation-Invariant Clause-Sets, and Sign-non-Singular Matrices |
scientific article; zbMATH DE number 5527218 |
Statements
Polynomial Time SAT Decision for Complementation-Invariant Clause-Sets, and Sign-non-Singular Matrices (English)
0 references
10 March 2009
0 references
0.7753477692604065
0 references
0.7640154361724854
0 references
0.7537955045700073
0 references
0.7514376044273376
0 references
0.7456507086753845
0 references
