Efektywne odrzucanie

Tomasz Skura
Google Scholar Tomasz Skura
Publikacja:

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.

Zamierzasz pobrać artykuł darmowy. Tutaj znajdziesz informacje o zasadach pobierania darmowych artykułów z bazy.