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

Existing satisfiability (SAT) is composed of a systematic logical structure with definite literals in a set of clauses. The key problem of the existing SAT is the lack of interpretability of a logical structure that leads to low variability of the retrieved neuron states. Thus, a new non-systematic SAT with higher interpretability is needed to reduce the repetition of the patterns of the final neuron states. This paper presents Major 2 Satisfiability (MAJ2SAT) by emphasizing a ratio of 2 Satisfiability (2SAT) clauses present in non-systematic SAT. Hence, different compositions of MAJ2SAT are implemented in a Discrete Hopfield Neural Network (DHNN) by adopting an Exhaustive Search as a training algorithm. Various performance metrics are utilized to measure the compatibility and behaviour of MAJ2SAT in DHNN. Overall, the formulation of MAJ2SAT offers an alternative logical structure in the field of data mining that involves a more dynamic composition of literals and clauses.

Major 2 Satisfiability Logic in Discrete Hopfield Neural Network