No label defined (Q5435091)
From MaRDI portal
scientific article; zbMATH DE number 5225621
Language | Label | Description | Also known as |
---|---|---|---|
English | No label defined |
scientific article; zbMATH DE number 5225621 |
Statements
14 January 2008
0 references
variable renaming
0 references
literal renaming
0 references
minimal unsatisfiable formula
0 references
graph isomorphism
0 references