Cutting planes, connectivity, and threshold logic (Q1908818)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Cutting planes, connectivity, and threshold logic |
scientific article |
Statements
Cutting planes, connectivity, and threshold logic (English)
0 references
16 July 1996
0 references
cutting plane refutation system
0 references
extension of resolution
0 references
undirected \(s\)-\(t\) connectivity principle
0 references
normal form theorem
0 references
Frege systems
0 references
threshold gates
0 references
threshold logic
0 references
