SOFSEM 2005: Theory and Practice of Computer Science (Q5711544)
From MaRDI portal
scientific article; zbMATH DE number 2236065
Language | Label | Description | Also known as |
---|---|---|---|
English | SOFSEM 2005: Theory and Practice of Computer Science |
scientific article; zbMATH DE number 2236065 |
Statements
SOFSEM 2005: Theory and Practice of Computer Science (English)
0 references
7 December 2005
0 references
(weighted) exact satisfiability
0 references
not-all-equal satisfiability
0 references
maximum weight independent set
0 references
counting problem
0 references
exact algorithm
0 references
NP-completeness
0 references