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...

we introduce a new concept of general $g$-$eta$-monotone operator generalizing the general $(h,eta)$-monotone operator cite{arvar2, arvar1}, general $h-$ monotone operator cite{xiahuang} in banach spaces, and also generalizing $g$-$eta$-monotone operator cite{zhang}, $(a, eta)$-monotone operator cite{verma2}, $a$-monotone operator cite{verma0}, $(h, eta)$-monotone operator cite{fanghuang}, $h$-...

Firstly, two kinds of natural distances between intuitionistic fuzzy sets are generated by the classical natural distance between fuzzy sets under a unified framework of residual intuitionistic implication operators. Secondly, the continuity and approximation property of a method for solving intuitionistic fuzzy reasoning are defined. It is proved that the triple implication method for intuitio...

The question at issue is to develop a computational interpretation of Linear Logic [S] and to establish exactly its expressive power. We follow the bottom-up approach. This involves starting with the simplest of the systems we are interested in, and then expanding them step-by-step. We begin with the !-Horn fragment of Linear Logic, which uses only positive literals, the linear implication -, t...

0

This paper considers some extensions of the notion filter to quantale-valued context, including saturated prefilter, ?-filter and bounded prefilter. The question is whether these constructions give rise monads on category sets. It shown that answer depends structure quantale. Specifically, if quantale unit interval equipped with a continuous t-norm, then only implication operator corresponding ...

We consider a scenario where the top-quark mass is generated dynamically, and study the implication of the present experimental values for mt and the T parameter. We assume technicolor-like scenario for inducing the W mass and an effective four fermi operator for inducing the top-quark mass. We also assume that only this four fermi operator is relevant at low energy. Then we estimate in detail ...

In this paper we present two sets of empirical data evaluating the performance of a new Cleanup operator for evolutionary approaches to the travelling salesman problem (TSP). For raw data we have used standard road mileage charts of the USA, Great Britain and Ireland, which enable us to generate a reference table with appropriate city to city distances. A wide variety of standard genetic parame...