The concepts of MSS (Maximal Satisfiable Subset) and CoMSS (also called Minimal Correction Subset) play a key role in many A.I. approaches and techniques. In this paper, a novel algorithm for partitioning a Boolean CNF formula into one MSS and the corresponding CoMSS is introduced. Extensive empirical evaluation shows that it is more robust and more efficient on most instances than currently av...

This paper is concerned with the study of a version globally convergent convexification method direct application to synthetic aperture radar (SAR) imaging. Results numerical testing are presented for experimentally collected data fake landmine. The SAR imaging technique common tool used create maps parts surface Earth or other planets. Recently, it has been applied in context noninvasive inspe...

We calculate the double spin asymmetry ALL(x, y, z, PhT ) of π0 production with the spectator model and the model based on the factorization ansatz. We also calculate the double spin asymmetry for the integration over the range of (x, y, z) for the setups of the experiments of COMPASS, HERMES, and JLab. We find that the results are characteristically dependent on the model used. Therefore, we s...