Implicit resolution

Abstract

We define a new propositional proof system, Implicit Resolution iR, and show that is it polynomially equivalent to Extended Resolution ER.

Keywords

• Implicit
• resolution