Separating signs in the propositional satisfiability problem (Q1977918)
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: Separating signs in the propositional satisfiability problem |
scientific article; zbMATH DE number 1456184
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Separating signs in the propositional satisfiability problem |
scientific article; zbMATH DE number 1456184 |
Statements
Separating signs in the propositional satisfiability problem (English)
0 references
6 June 2000
0 references
satisfiability of a propositional formula
0 references
SAT
0 references
0.86752397
0 references
0.85519063
0 references
0.8533336
0 references
0.8519306
0 references
