Implicit resolution

Abstrakt

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

Klíčová slova

• Implicit
• resolution