On Some SAT-Variants over Linear Formulas (Q3599093)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | On Some SAT-Variants over Linear Formulas |
scientific article |
Statements
On Some SAT-Variants over Linear Formulas (English)
0 references
3 February 2009
0 references
not-all-equal satisfiability
0 references
exact satisfiability
0 references
linear formula
0 references
linear hypergraph
0 references
bicolorability
0 references
