No label defined (Q3567616)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article |
Statements
17 June 2010
0 references
satisfiability problems
0 references
NP problems
0 references
structural independence
0 references
certificates of membership
0 references
logogram
0 references
program kernel
0 references
