Faradžev Read-type enumeration of non-isomorphic CC systems (Q2230397)
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: Faradžev Read-type enumeration of non-isomorphic CC systems |
scientific article; zbMATH DE number 7396863
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Faradžev Read-type enumeration of non-isomorphic CC systems |
scientific article; zbMATH DE number 7396863 |
Statements
Faradžev Read-type enumeration of non-isomorphic CC systems (English)
0 references
17 September 2021
0 references
point triples orientation
0 references
CC systems
0 references
Faradžev-Read enumeration
0 references
homomorphism principle
0 references
SAT solving
0 references
0 references
0 references
0.6765509843826294
0 references
0.6754477620124817
0 references
0.6754477024078369
0 references
0.6663951873779297
0 references
0.6577281951904297
0 references