This report describes a strong connection between maximum satisfiability and minimally-unsatisfiable subfor-mulas of any constraint system, as well as techniques for exploiting it. Focusing on CNF formulas, we explore this relationship and present novel algorithms for extracting minimally-unsatisfiable subformulas, including one that finds all such subformulas. We present experimental results s...

Let φ be a w-continuous homomorphism from a dual Banach algebra to C. The notion of φ-Connes amenability is studied and some characterizations is given. A type of diagonal for dual Banach algebras is dened. It is proved that the existence of such a diagonal is equivalent to φ-Connes amenability. It is also shown that φ-Connes amenability is equivalent to so-called φ-splitting of a certain short...

We show how the nearly bi-maximal mixing scenario comes out naturally from gauged SO(3) F flavor symmetry via spontaneous symmetry breaking. An interesting relation between the neutrino mass-squared differences and the mixing angle, i.e., ∆m 2 µe /∆m 2 τ µ ≃ 2|U e3 | 2 is obtained. The smallness of the ratio (or |U e3 |) can also naturally be understood from an approximate permutation symmetry....