Abstract In this paper we study a variation of the random $k$ -SAT problem, called polarised -SAT, which contains both classical model and version monotone another well-known NP-complete SAT. there is polarisation parameter $p$ , in half clauses each variable occurs negated with probability pure otherwise, while other probabilities are interchanged. For $p=1/2$ get model, at extreme have fully ...

Minimally invasive techniques to access subcutaneous adipose tissue for glucose monitoring are successfully applied in type1 diabetic and critically ill patients. During critical illness, the addition of a lactate sensor might enhance prognosis and early intervention. Our objective was to evaluate SAT as a site for lactate measurement in critically ill patients. In 40 patients after major cardi...

Theorem proving is a challenging task for formal verification of systems. There exist many efforts to efficiently solve this problem, based for example on rewriting rules and/or SAT-based techniques. We propose an alternative of SAT-based techniques by using instead a counting SAT-based technique (denoted also #SAT). A SAT solver tests if a propositional formula F has at least one truth assignm...

the major aim of processing satellite images is to prepare topical and effectivemaps. the selection of appropriate classification methods plays an important role. amongvarious methods existing for image classification, artificial neural network method is ofhigh accuracy. in present study, tm images of 1987, and etm+ images of 2000 and 2006were analyzed using artificial fuzzy artmap neural netwo...

Contemporary satisfiability solvers are the corner-stone of many successful applications in domains such as automated verification and artificial intelligence. The impressive advances of SAT solvers, achieved by clever engineering and sophisticated algorithms, enable us to tackle Boolean Satisfiability (SAT) problem instances with millions of variables – which was previously conceived as a hope...

A serological survey was conducted in apparently healthy, unvaccinated indigenous Tswana goats and sheep in Kasane, Maun and Shakawe districts in northwestern Botswana in order to determine in these animals, the levels of exposure to the South African Territories (SAT) serotypes: SAT 1, SAT 2 and SAT 3 of foot-and-mouth disease virus (FMDV). A total of 250, 142 and 134 goat sera originating res...

is satisfiable is one of the most fundamental problems in computer science, known as the canonical NP-complete Boolean satisfiability (SAT) problem (Biere et al. 2009). In addition to its theoretical importance, major advances in the development of robust implementations of decision procedures for SAT, SAT solvers, have established SAT as an important declarative approach for attacking various ...