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.     

Estimating Sampling Errors in REA Survey: A Model Approach for the Synthetic Presentation of Results for Main Variables Involved in Economic Analysis

A new sample business survey for agriculture, the REA survey, and a project of integration with the FADN network (RICA in Italy) have significantly changed the production of statistical information nowadays available with reference to the agricultural sector. On the basis of this relevant information, new economic analyses are being developed on farms’ performance, agricultural households’ income and the Common Agricultural Policy (CAP). In this paper the authors estimate the relationship between the levels of variables of interest and their sampling errors using models in order to improve the accessibility of the information on estimates accuracy to the final users (agricultural analysts, policy makers). The paper is the result of a joint research of the three authors. Sections 1–3 and 6 by Pizzoli, Sects. 4 and 5 by Rondinelli, Sect. 7 by Filiberti, conclusions joint to the three authors.     

A calorimetric study of the different thermal behaviour of DNA in the isotropic and liquid-crystalline states

A difference between the thermal behaviour of the isotropic and liquid-crystalline state of sonicated DNA in aqueous salt solution containing poly(ethyleneglycol)(PEG) has been demonstrated. On cooling, a different degree of renaturation of thermally denaturated DNA is observed between samples which form the isotropic state and more concentrated samples which on cooling form the cholesteric state.     

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