Many DPLL-based [1] SAT solvers use an implementation of the two-literal watching scheme (TLWS) first used in Chaff [6] for boolean constraint propagation (BCP). For the extreme case of binary clauses this otherwise efficient algorithm has a large overhead in memory usage. In this report a technique called implication table for augmenting TLWS will be described and mathematically analyzed, that...

The overlap function, a particular kind of binary aggregate has been extensively utilized in decision-making, image manipulation, classification, and other fields. With regard to function theory, many scholars have also obtained achievements, such as pseudo-overlap quasi-overlap semi-overlap etc. above generalized functions contain commutativity continuity, which makes them some limitations pra...

In this paper, we propose a new method for choosing implications. Our method allows to compare two fuzzy implications. If the truth value of the antecedent and the truth value of the implication are given, by means of inverse fuzzy implications we can easily optimize the truth value of the implication consequent.

A method for compressing Steiner triple systems is presented. This method has been used to compress the 11,084,874,829 Steiner triple systems of order 19 into approximately 39 gigabytes of memory. The compressed data can be obtained by contacting the authors.

In order to get a more general result related on fuzzy implications that induced by aggregation functions, we relax the definition of overlap precisely, removing its right-continuous, and introduce new kind function, which called semi-overlap function. Subsequently, explore some their algebraic properties corresponding residual implications. Moreover, serval scholars have provided kinds methods...

This paper proposes a novel method for clinical triple-region image segmentation using a single level set function. Triple-region image segmentation finds wide application in the computer aided X-ray, CT, MRI and ultrasound image analysis and diagnosis. Usually multiple level set functions are used consecutively or simultaneously to segment triple-region medical images. These approaches are eit...

We describe a new method to estimate the trilinear period on automorphic representations of PGL2(R). Such a period gives rise to a special value of the triple L-function. We prove a bound for the triple period which amounts to a subconvexity bound for the corresponding special value of the triple L-function. Our method is based on the study of the analytic structure of the corresponding unique ...

(Abstract) In this paper, we propose a new method for discovering hidden information from large-scale transaction databases by considering a property of cofactor implication. Cofactor implication is an extension or generalization of symmetric itemsets, which has been presented recently. Here we discuss the meaning of cofactor implication for the data mining applications, and show an efficient a...

Purpose: This study identifies elements and systematises them into pillars based on relevant scientific publications the subject, highlighting actions that contribute to public authorities private organisations for developing Solid Waste Management (SWM), contributing environmental, social, economic sustainability. Methodology/Approach: research used content analysis method with aim of identify...