An exponential lower bound for a constraint propagation proof system based on ordered binary diagrams

Abstract

An exponential lower bound for a constraint propagation proof system based on ordered binary diagrams

Keywords

• exponential
• lower
• bound
• constraint
• propagation
• proof
• system
• based
• ordered
• binary
• diagrams