Cutting planes, connectivity, and threshold logic (Q1908818)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Cutting planes, connectivity, and threshold logic |
scientific article; zbMATH DE number 851909
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Cutting planes, connectivity, and threshold logic |
scientific article; zbMATH DE number 851909 |
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
