Community structure inspired algorithms for SAT and \#SAT (Q3453228)
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: Community structure inspired algorithms for SAT and \#SAT |
scientific article; zbMATH DE number 6512576
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Community structure inspired algorithms for SAT and \#SAT |
scientific article; zbMATH DE number 6512576 |
Statements
Community Structure Inspired Algorithms for SAT and #SAT (English)
0 references
20 November 2015
0 references
0 references
0 references
0 references
0.9234432578086852
0 references
0.8398409485816956
0 references
0.8092073202133179
0 references
0.8005751967430115
0 references
0.7902622818946838
0 references
