An SMT-based discovery algorithm for C-nets (Q2908199)
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: An SMT-based discovery algorithm for C-nets |
scientific article; zbMATH DE number 6076629
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | An SMT-based discovery algorithm for C-nets |
scientific article; zbMATH DE number 6076629 |
Statements
An SMT-Based Discovery Algorithm for C-Nets (English)
0 references
4 September 2012
0 references
0.842445433139801
0 references
0.7346473932266235
0 references
0.7326298356056213
0 references
0.7280460000038147
0 references
0.7216489911079407
0 references
