Heuristic NPN classification for large functions using AIGs and LEXSAT (Q2818016)
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 6623514
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Heuristic NPN classification for large functions using AIGs and LEXSAT |
scientific article; zbMATH DE number 6623514 |
Statements
Heuristic NPN Classification for Large Functions Using AIGs and LEXSAT (English)
0 references
5 September 2016
0 references
0.8081054091453552
0 references
0.7650408744812012
0 references
0.7340567708015442
0 references
0.7314143180847168
0 references
0.7299031019210815
0 references
