No label defined (Q4542611)
From MaRDI portal
scientific article; zbMATH DE number 1775484
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article; zbMATH DE number 1775484 |
Statements
4 August 2002
0 references
many-valued logic
0 references
satisfiability
0 references
2-SAT problem
0 references
signed CNF formulas
0 references
decision procedure
0 references
