The unweighted Maximum Satisfiability problem MAXSAT is: Given a Boolean formula in conjunctive normal form, find a truth assignment that satisfies the largest number of clauses. This paper describes exact algorithms that provide new Ε½< < upper bounds for MAXSAT. We prove that MAXSAT can be solved i
New upper bounds for neighbor searching
β Scribed by B. Chazelle; R. Cole; F.P. Preparata; C. Yap
- Book ID
- 114037775
- Publisher
- Elsevier Science
- Year
- 1986
- Weight
- 979 KB
- Volume
- 68
- Category
- Article
- ISSN
- 0019-9958
No coin nor oath required. For personal study only.
π SIMILAR VOLUMES
The Ramsey number R(G 1 , G 2 ) is the smallest integer p such that for any graph Some new upper bound formulas are obtained for R(G 1 , G 2 ) and R(m, n), and we derive some new upper bounds for Ramsey numbers here.
A t-covering array is a collection of k vectors in a discrete space with the property that, in any t coordinate positions, all combinations of the coordinate values occur at least once. Such arrays have applications, for example, in software testing and data compression. Covering arrays are sometime
Let F h (N) be the maximum number of elements that can be selected from the set [1, ..., N] such that all the sums a 1 + } } } +a h , a 1 } } } a h are different. We introduce new combinatorial and analytic ideas to prove new upper bounds for F h (N). In particular we prove Besides, our techniques