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.     

Exact Scaling Functions for One-Dimensional Stationary KPZ Growth

We determine the stationary two-point correlation function of the one-dimensional KPZ equation through the scaling limit of a solvable microscopic model, the polynuclear growth model. The equivalence to a directed polymer problem with specific boundary conditions allows one to express the corresponding scaling function in terms of the solution to a Riemann–Hilbert problem related to the Painlevé II equation. We solve these equations numerically with very high precision and compare our, up to numerical rounding exact, result with the prediction of Colaiori and Moore⁽¹⁾ obtained from the mode coupling approximation.     

Statistical Analysis of the Effect of Mineral Admixtures on the Strength of the Interfacial Transition Zone

Microscopic evidence indicates that the thickness of the interfacial transition zone (ITZ) between the aggregate and the cement paste is modified when mineral admixtures partially replace portland cement. Unfortunately, there is limited information on the significance of these microscopic modifications to the mechanical properties of the ITZ. This research reports experimental results on the shear and tensile strength of the ITZ as affected by the addition of the following mineral admixtures: silica fume, fly ash, and natural pozzolan. Statistical analysis was used to identify the significant parameters affecting the tensile and shear strength of the ITZ. Experimental results indicate that not only does the incorporation of silica fume and fly ash increase the strength of the ITZ, these mineral admixtures have a greater influence on the strength increase of the ITZ than in the strength increase of the cement paste.     

Cems characterization of SnO2 films obtained by sputtering and sol-gel route

Conversion electron Mössbauer spectroscopy (CEMS) has been used to study tin oxide films prepared by sol-gel dipping and sputtering. The spectra of films prepared by sol-gel route result close to that of crystalline SnO₂ after heat treatment at a temperature as low as 150°C. The Mössbauer parameters of as sputter deposited films indicate that the structure of the deposited stannic oxide has an amorphous character more pronounced for thinner samples. The structure becomes predominantly that of crystalline SnO₂ by heating at 550°C for 30 min provided the film thickness is higher than 10 nm.     

Non-local approximation of the Mumford-Shah functional

The Mumford-Shah functional, introduced to study image segmentation problems, is approximated in the sense of -convergence by a sequence of non-local integral functionals. Received June 6, 1996 / Accepted July 11, 1996