Resolution and the binary encoding of combinatorial principles (Q5091756)
From MaRDI portal
scientific article; zbMATH DE number 7564406
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Resolution and the binary encoding of combinatorial principles |
scientific article; zbMATH DE number 7564406 |
Statements
27 July 2022
0 references
proof complexity
0 references
\(k\)-DNF resolution
0 references
binary encodings
0 references
clique and pigeonhole principle
0 references
0 references
0 references
0 references
Resolution and the binary encoding of combinatorial principles (English)
0 references
