Scoring functions based on second level score for \(k\)-SAT with long clauses (Q2929584)
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: Scoring functions based on second level score for \(k\)-SAT with long clauses |
scientific article; zbMATH DE number 6369224
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Scoring functions based on second level score for \(k\)-SAT with long clauses |
scientific article; zbMATH DE number 6369224 |
Statements
13 November 2014
0 references
Scoring functions based on second level score for \(k\)-SAT with long clauses (English)
0 references
