A universal coefficient theorem in the setting of Kirchberg’s ideal-related KK -theory was obtained in the fundamental case of a Calgebra with one specified ideal by Bonkat in [1] and proved there to split, unnaturally, under certain conditions. Employing certain K-theoretical information derivable from the given operator algebras in a way introduced here, we shall demonstrate that Bonkat’s UCT...

Many problems are naturally expressed using CNF clauses and boolean cardinality constraints. It is generally believed that solving such problems through pure CNF encoding is inefficient, so many authors has proposed specialized algorithms : the pseudo-boolean solvers. In this paper we show that an appropriate pure CNF encoding can be competitive with these specialized methods. In conjunction wi...