English (United Kingdom)

https://curated-unify.zendy.io/wp-json/zendy-region/v1/featured_content/oa?rat=en

https://curated-unify.zendy.io/wp-json/zendy-region/v1/highlighted_journal/

Global: Zendy Plus annual

Presents the access of premium content as premium feature

Premium Content

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the summarisation as premium feature

Summarisation

Insights

Presents the pdf analysis as premium feature

PDF Analysis

Presents the zaia usage as premium feature

ZAIA

Global: Zendy Tools annual

Global: Zendy Free Plan

Global: Zendy Tools monthly

Global: Zendy Plus monthly

The prime implicate trie (pi-trie) of a logical formula is a tree whose branches are labeled with the prime implicates of the formula. An algorithm that builds the pi-trie from a logical formula was introduced in [12]; it builds the trie recursively and makes extensive use of subsumption testing. A more efficient version in which the use of subsumption is reduced is presented in this paper. The improved algorithm is illustrated with experiments. The algorithm naturally lends itself to selecting restricted sets — for example, only positive prime implicates or only those of bounded length, both useful properties for some applications. Such restrictions can provide significant advantages in efficiency since the set of all prime implicates of a logical formula is typically exponential in size.

Computing prime implicates by pruning the search space and accelerating subsumption