Selection Functions.

With the concept of selection functions one exploits the don't-care nondeterminism that comes with negative literals in clauses: To refute $A_1,\ldots,A_k\to$ requires to refute each of the $A_i$, but the order in which this is done is irrelevant. To eliminate redundancy that might arise from this nondeterminism, selection functions that select negative literals can be defined with the command sass.

Imprint | Data Protection