Exponenciální spodní odhad pro OBDD důkazové systémy

Abstrakt

Exponenciální spodní odhad pro OBDD důkazové systémy

Klíčová slova

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