Results 1  10
of
17,937
InclusionExclusion for kCNF Formulas
 Inf. Process. Lett
, 2002
"... We show that the number of satisfying assignments of a kCNF formula is determined uniquely from the numbers of unsatisfying assignments for clausesets of size up to k#+ 2. The information of this size is also shown to be necessary. key words: combinatorial problems; SAT; kCNF formula; counting ..."
Abstract

Cited by 2 (0 self)
 Add to MetaCart
We show that the number of satisfying assignments of a kCNF formula is determined uniquely from the numbers of unsatisfying assignments for clausesets of size up to k#+ 2. The information of this size is also shown to be necessary. key words: combinatorial problems; SAT; kCNF formula
On Computing kCNF Formula Properties
 In Theory and Applications of Satisfiability Testing, SpringerVerlag LNCS 2919:330–340
, 2003
"... The latest generation of SAT solvers (e.g. [9, 5]) generally have three key features: randomization of variable selection, backtracking search, and some form of clause learning. We present a simple algorithm with these three features and prove that for instances with constant # (where # is the cl ..."
Abstract

Cited by 5 (2 self)
 Add to MetaCart
The latest generation of SAT solvers (e.g. [9, 5]) generally have three key features: randomization of variable selection, backtracking search, and some form of clause learning. We present a simple algorithm with these three features and prove that for instances with constant # (where
Mining Predictive kCNF Expressions
"... We adapt Mitchell’s version space algorithm for mining kCNF formulae. Advantages of this algorithm are that it runs in a single pass over the data, is conceptually simple, can be used for missing value prediction, and has interesting theoretical properties, while an empirical evaluation on classifi ..."
Abstract
 Add to MetaCart
We adapt Mitchell’s version space algorithm for mining kCNF formulae. Advantages of this algorithm are that it runs in a single pass over the data, is conceptually simple, can be used for missing value prediction, and has interesting theoretical properties, while an empirical evaluation
Counting Satisfiable kCNF Formulas
"... We use basic combinatorial techniques to count the number of satisable boolean formulas given in conjunctive normal form. The intention is to provide information about the relative frequency of boolean functions with respect to statements of a given size. This in turn will provide information about ..."
Abstract
 Add to MetaCart
], and Dubois [Dub91] address kCNF formulas; Creignou and Daude [CD99] consider the XORCNF problem (where instead of literals connected by `or' the are connected by `exclusiveor'). These and others all attack the problem probabilistically. There is also much work on the performance of satisability
On the Complexity of Unsatisfiability Proofs for Random kCNF Formulas
 In 30th Annual ACM Symposium on the Theory of Computing
, 1997
"... We study the complexity of proving unsatisfiability for random kCNF formulas with clause density D = m=n where m is number of clauses and n is the number of variables. We prove the first nontrivial general upper bound, giving algorithms that, in particular, for k = 3 produce refutations almost cer ..."
Abstract

Cited by 50 (1 self)
 Add to MetaCart
We study the complexity of proving unsatisfiability for random kCNF formulas with clause density D = m=n where m is number of clauses and n is the number of variables. We prove the first nontrivial general upper bound, giving algorithms that, in particular, for k = 3 produce refutations almost
On smoothed kCNF formulas and the Walksat algorithm
"... In this paper we study the model of εsmoothed kCNF formulas. Starting from an arbitrary instance F with n variables and m = dn clauses, apply the εsmoothing operation of flipping the polarity of every literal in every clause independently at random with probability ε. Keeping ε and k fixed, and l ..."
Abstract

Cited by 8 (7 self)
 Add to MetaCart
In this paper we study the model of εsmoothed kCNF formulas. Starting from an arbitrary instance F with n variables and m = dn clauses, apply the εsmoothing operation of flipping the polarity of every literal in every clause independently at random with probability ε. Keeping ε and k fixed
1 Mining Predictive kCNF Expressions
"... Abstract—We adapt Mitchell’s version space algorithm for mining kCNF formulae. Advantages of this algorithm are that it runs in a single pass over the data, is conceptually simple, can be used for missing value prediction, and has interesting theoretical properties, while an empirical evaluation on ..."
Abstract
 Add to MetaCart
Abstract—We adapt Mitchell’s version space algorithm for mining kCNF formulae. Advantages of this algorithm are that it runs in a single pass over the data, is conceptually simple, can be used for missing value prediction, and has interesting theoretical properties, while an empirical evaluation
Average Case Analysis of Learning kCNF concepts
 In Proceedings of the Ninth International Workshop on Machine Learning
, 1992
"... We present an approach to modeling the average case behavior of an algorithm for learning Conjunctive Normal Form (CNF, i.e., conjunctions of disjunctions). Our motivation is to predict the expected error of the learning algorithm as a function of the number of training examples from a known distrib ..."
Abstract

Cited by 1 (1 self)
 Add to MetaCart
We present an approach to modeling the average case behavior of an algorithm for learning Conjunctive Normal Form (CNF, i.e., conjunctions of disjunctions). Our motivation is to predict the expected error of the learning algorithm as a function of the number of training examples from a known
Results 1  10
of
17,937