Exact Max-SAT solvers for over-constrained problems

We present a new generic problem solving approach for over-constrained problems based on Max-SAT. We first define a Boolean clausal form formalism, called soft CNF formulas, that deals with blocks of clauses instead of individual clauses, and that allows one to declare each block either as hard (i.e., must be satisfied by any solution) or soft (i.e., can be violated by some solution). We then present two Max-SAT solvers that find a truth assignment that satisfies all the hard blocks of clauses and the maximum number of soft blocks of clauses. Our solvers are branch and bound algorithms equipped with original lazy data structures, powerful inference techniques, good quality lower bounds, and original variable selection heuristics. Finally, we report an experimental investigation on a representative sample of instances (random 2-SAT, Max-CSP, graph coloring, pigeon hole and quasigroup completion) which provides experimental evidence that our approach is very competitive compared with the state-of-the-art approaches developed in the CSP and SAT communities. Research partially supported by projects TIN2004-07933-C03-03 and TIC2003-00950 funded by the Ministerio de Educación y Ciencia. The second author is supported by a grant Ramón y Cajal.     

Eigenvalue ratios of vibrating strings

Summary New results for the eigenvalue ratios of vibrating strings are presented partially in connection with previous results concerning Schr?dinger operators.     

Sequencing games without initial order

In this note we study uncertainty sequencing situations, i.e., one-machine sequencing situations in which no initial order is specified. We associate cooperative games with these sequencing situations, study their core, and provide links with the classic sequencing games introduced by Curiel et al. (Eur J Oper Res 40:344–351, 1989). Moreover, we propose and characterize two simple cost allocation rules for uncertainty sequencing situations with equal processing times.     

Group-valued measures on coarse-grained quantum logics

In [3] it was shown that a (real) signed measure on a cyclic coarse-grained quantum logic can be extended, as a signed measure, over the entire power algebra. Later ([9]) this result was re-proved (and further improved on) and, moreover, the non-negative measures were shown to allow for extensions as non-negative measures. In both cases the proof technique used was the technique of linear algebra. In this paper we further generalize the results cited by extending group-valued measures on cyclic coarse-grained quantum logics (or non-negative group-valued measures for lattice-ordered groups). Obviously, the proof technique is entirely different from that of the preceding papers. In addition, we provide a new combinatorial argument for describing all atoms of cyclic coarse-grained quantum logics.     

Synthesis of cyclic mono- and bis-disulfides and their selective conversion to mono- and bis-thiosulfinates

Twelve-membered ring pseudopeptidic cyclic disulfides have been prepared by iodine oxidation of the parent dithiols. However, oxidation of N,N′-(1,2-phenylene)bis(2-mercapto-2-methylpropanamide) afforded a 25/75 mixture of cyclic mono- and bis-disulfides that were separated by selective precipitation in CHCl₃. The cyclic bis-disulfide was selectively prepared by iodine oxidation of the Ni complex of this dithiol and crystallized. Its crystal structure was solved by X-ray diffraction. All these cyclic mono- or bis-disulfides were selectively converted to cyclic mono- and bis-thiosulfinates upon stoichiometric oxidation with dimethyldioxirane at low temperature. ¹H NMR of the cyclic bis-thiosulfinate revealed the presence of four isomers, two couples of stereoisomers, as expected from the insertion of two oxygen atoms in this compound, one on each disulfide bond. The two couples of cis/trans isomers were separated by preparative TLC and identified after alkaline cleavage of the two S(O)-S bonds and metalation with Ni(II). As HO⁻ attack is selective for the sulfinyl sulfur, the nature of the Ni complexes obtained is a signature of each couple of stereoisomers.     

Spectral Properties of Four-Dimensional Compact Flat Manifolds

We study the spectral properties of a large class of compact flat Riemannian manifolds of dimension 4, namely, those whose corresponding Bieberbach groups have the canonical lattice as translation lattice. By using the explicit expression of the heat trace of the Laplacian acting on p-forms, we determine all p-isospectral and L-isospectral pairs and we show that in this class of manifolds, isospectrality on functions and isospectrality on p-forms for all values of p are equivalent to each other. The list shows for any p, 1 ≤ p ≤ 3, many p-isospectral pairs that are not isospectral on functions and have different lengths of closed geodesics. We also determine all length isospectral pairs (i.e. with the same length multiplicities), showing that there are two weak length isospectral pairs that are not length isospectral, and many pairs, p-isospectral for all p and not length isospectral. Mathematics Subject Classifications (2000): 58J53, 58C22, 20H15.     

A polar macroporous sorbent for gas chromatography

Summary The gas chromatographic behaviour of crosslinked macroporous 2-hydroxyethyl methacrylate grafted with 2-methyloxazoline was investigated and the range of applicability of the copolymer was assessed. Retention index values were measured on this copolymer and compared with those obtained on the terpolymer 2-hydroxyethyl methacrylate-ethylene dimethacrylate-acrylonitrile. Rohrschneider constants and efficiency data for selected sorbates are given. The use of this type of polymer in the separation of various types of compounds is documented by various examples.