This document describes the SAT solver “CCAglucose2015”, which first empoys a preprocessor CP3, and then calls a hybrid solver combining a local search solver CCAnr and a complete solver glucose.

For each positive integer n, we present a tessellation of CP2 that can be lifted, through the branched covering, to a symmetric tessellation of the Fermat surface (a 4-manifold) of degree n inCP3. The process is systematic and symbolically algebraic. Each fourcell in the tessellation is bounded by four pentahedrons, and each pentahedron has four triangular faces and one quadrilateral face. Grap...

of the almost-complex manifold (X, J). The only obstruction [10] to the existence of an almost-complex structure J on X is that X be spinc. This happens precisely when the second Stiefel-Whitney class w2(X) ∈ H(X,Z2) can be written as the mod-2 reduction of an element of H2(X,Z), in which case each preimage of w2 in H2(X,Z) can be realized as c1 for some almostcomplex structure J . It follows t...

Suppose M a compact manifold which admits an Einstein metric g which is Kähler with respect to some complex structure J . Is every other Einstein metric h on M also Kähler-Einstein? If the complex dimension of (M,J) is ≥ 3, the answer is generally no; for example, CP3 admits both the FubiniStudy metric, which is Kähler-Einstein, and a non-Kähler Einstein metric [2] obtained by appropriately squ...

Candida parapsilosis, a pathogenic yeast, is composed of three newly designated genomic species that are physiologically and morphologically indistinguishable. Nosocomial infections caused by group I C. parapsilosis are often associated with the breakdown of infection control practices and the contamination of medical devices, solutions, and indwelling catheters. Due to the low levels of nucleo...

In this paper we use duality to construct new classes of Hopf orders in the group algebraKCp3 , where K is a finite extension of Qp and Cp3 denotes the cyclic group of order p3. Included in this collection is a subcollection of Hopf orders which are realizable as Galois groups.

We study the Wilson loops in the three dimensional QFT from the D-branes in the AdS4× CP3 geometry. We find out explicit D-brane configurations in the bulk which correspond to both straight and circular Wilson lines extended to the boundary of AdS4. We analyze critically the role of boundary contributions to the D2-branes with various topology and fundamental string actions.