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

Abstract

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

Keywords

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