A class of logic problems solvable by linear programming (Q4369892)
From MaRDI portal
scientific article; zbMATH DE number 1103556
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A class of logic problems solvable by linear programming |
scientific article; zbMATH DE number 1103556 |
Statements
A class of logic problems solvable by linear programming (English)
0 references
28 January 1998
0 references
integer programs
0 references
balanced matrices
0 references
linear programming
0 references
propositional logic
0 references
truth assignment
0 references
