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.     

v-Triazolines. XXXIX . 1,2,4-Triaryl-3-aminopyrroles. Unusual Reaction Products in the Pyrolysis of 5-Amino-v-triazolines and the Crystal Structure of 2-(3-Morpholin-4-yl-2,4-pyrrol-1-yl)benzonitrile

Pyrolysis of 4-aryl-5-amino-v-triazolines affords, generally, amidines and/or benzanilides. Pyrolysis of 4-aryl-5-morpholino-v-triazolines 6 , together with the expected amidines 7 and/or aryanilides 8 , produced the morpholinopyrroles 9 . The reaction mechanism of this unusual transformation is discussed. Influence of solvent dipole moment in pyrrole formation is suggested. Pyrrole 9a [i.e. 2-(3-morpholin-4-yl-2,4-pyrrol-1-yl)-benzonitrile] has been fully characterized and its molecular structure has been determined by X-ray diffraction analysis.     

Synthesis and thermal crosslinking of oxazolidine‐functionalized polyurethanes

A new oxazolidine derivative was obtained from phenol, 2‐amino‐2‐methylpropane‐1,3‐diol and paraformaldehyde. The reaction of this novel oxazolidine diol with phenylisocyanate lead to a urethane model compound which can be polymerized thermally by oxazolidine ring opening to give a Mannich bridge structure. Linear segmented polyurethanes were prepared by reaction of different ratios of oxazolidine diol and commercial polyethylenglycol (M_w ～ 400) with 4,4′‐methylenbis (cyclohexylisocyanate) (HMDI, 90% isomers mixture). The polyurethanes were thermally characterized and crosslinked by oxazolidine ring opening to obtain materials which showed improved thermal stability. © 2007 Wiley Periodicals, Inc. J Polym Sci Part A: Polym Chem 45: 4965–4973, 2007     

On the Rees algebra of certain codimension two perfect ideals

 Suppose ? is a set of arbitrary number of smooth points in ℙ² its defining ideal. In this paper, we study the Rees algebras of the ideals generated by I _t , t ≥α. When the points of ? are general, we give a set of defining equations for the Rees algebra . When the points of ? are arbitrary, we show that for all t≫ 0, the Rees algebra is Cohen-Macaulay and its defining ideal is generated by quadratics. A cohomological characterization for arithmetic Cohen-Macaulayness of subvarieties of a product space is also given. Received 4 April 2001     

Oscillatory kinetics and mechanism of the chromate catalyzed decomposition of hydrogen peroxide

Oscillatory change of pH occurs during the chromate-catalyzed decomposition of hydrogen peroxide in a weakly acidic medium at elevated temperature and at high initial concentration of hydrogen peroxide. In a closed system, there are only two or three periods, but sustained oscillation occurs in a CSTR. In a CSTR bistability is also found. In closed systems the temperature exhibits a great maximum (up to 15°C increase), in a CSTR sustained oscillation occurs at a constant stationary temperature.     

General and selective isolation procedure for high-performance liquid chromatographic determination of anabolic steroids in tissues

A multi-residue method has been developed for the determination of anabolic steroids in animal tissue. The analytes are extracted from tissue with methanol and the extract is subjected to two solid-phase extractions, one using a non-specific adsorbing material, such as graphitized carbon black (Carbopack B), and the other Amberlite CG-400 I in the OH form. This procedure allowed the neutral anabolics (testosterone, trenbolone and progesterone) to be isolated and separated from the acidic type (phenolic group), such as diethylstilbestrol, oestradiol, zeranol/zearalenone and their respective metabolites. The determination was effected using high-performance liquid chromatography with different detectors (ultraviolet, fluorimetric and electrochemical). Several analytical parameters were studied: chromatographic conditions, recoveries, evaporation step, solvent flow-rate, cartridges reusability, interference of plastic cartridges. For all the anabolics investigated the recoveries were greater than 83.6%.