Sentence examples for subsets of clauses from inspiring English sources

To address the problem of efficient computation of MESes, the paper develops a new class of algorithms that are based on the iterative analysis of subsets of clauses, and a lightweight pruning technique based on the computation of backbones.

A subset of clauses with low consistency values is displayed in Table 1.

The former consists of a minimal subset of the clauses of an unsatisfiable formula, such that if we remove these clauses the resulting formula becomes satisfiable.

As a verbal noun like gedeg (with n' or case) it can form a subset of complement clauses.

Establishment clause, orestablishment-of-religion clause, clause in the First Amendment to the U.S. Constitution forbidding Congress from establishing a state religion.

We study the complexity of problems related to irredundant equivalent subsets: verification, checking existence of an irredundant equivalent subset with a given size, checking necessary and possible presence of clauses in irredundant equivalent subsets, and uniqueness.

$EOC: end-of-clause.

Prolog uses a subset of logic (Horn clauses, closely related to "rules" and "production rules") that permit tractable computation.

But even depth-3 center-embedding of clauses (a clause interrupting a clause that itself interrupts a clause) is in practice extraordinarily hard to process.

Words per clause* Division of number of words by number of clauses.

The clause complexity of clauses represents the logical development of text.