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

We describe and prove uniqueness of a natural homomorphism (called the Orchard morphism) between some groups associated to finite sets.

208 NOTICES OF THE AMS VOLUME 51, NUMBER 2 As far as I know, the notion of a quasi-morphism does not have much to do with category theory. This very natural idea underlies several interesting recent developments at the crossroads of algebra, topology, geometry, and dynamics. Other, perhaps better, names currently in use for the same concept are quasi-homomorphism and pseudo-character. Let G be ...