Artykuły

Tom 9 Nr 4 (2014)

Efektywne odrzucanie

Tomasz Skura

Strony: 65 - 70

Abstrakt

Efficient refutations

The goal of this paper is to explain the basic ideas connected with efficient refutation procedures. In such a procedure, we start with a given formula A and proceed bottom-up in order to reduce A to some simple formulas that have already been rejected. The procedure involves certain normal forms, and it provides a decision procedure as well.