Consistency of circuit evaluation, extended resolution and total NP search problems

Abstrakt

We define a new NP search problem related to circuit evaluation and establish its link to Extended resolution proof system.

Klíčová slova

• Consistency
• circuit
• evaluation
• extended
• resolution
• total
• search
• problems