SATLIB is an online resource for SAT-related research established in June 1998. Its core components, a benchmark suite of SAT instances and a collection of SAT solvers, aim to facilitate empirical research on SAT by providing a uniform test-bed for SAT solvers along with freely available implementations of high-performing SAT algorithms. In this article, we give an overview of SATLIB; in partic...

The majority of ensemble creation algorithms use the full set of available features for its task. Feature selection for ensemble creation has not been carried out except for some work on random feature selection. In this paper we focus our attention on genetic based feature selection for ensemble creation. Our approach uses a genetic algorithm to search over the entire feature space. Subsets of...

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

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