An exponential lower bound for a constraint propagation proof system based on ordered binary decision diagrams (Q5387310)
From MaRDI portal
scientific article; zbMATH DE number 5273204
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | An exponential lower bound for a constraint propagation proof system based on ordered binary decision diagrams |
scientific article; zbMATH DE number 5273204 |
Statements
An exponential lower bound for a constraint propagation proof system based on ordered binary decision diagrams (English)
0 references
8 May 2008
0 references
propositional proof system
0 references
lower bound
0 references
ordered binary decision diagrams
0 references
feasible interpolation
0 references
communication complexity
0 references
proof complexity
0 references
constraint propagation
0 references
