Improving efficiency of 3-SAT-solving tile systems (Q3070958)
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 5842524
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Improving efficiency of 3-SAT-solving tile systems |
scientific article; zbMATH DE number 5842524 |
Statements
Improving Efficiency of 3-SAT-Solving Tile Systems (English)
0 references
28 January 2011
0 references
0.9314442276954652
0 references
0.8562818765640259
0 references
0.8119097948074341
0 references
0.8010839223861694
0 references
0.7843437194824219
0 references
