On Tackling the Limits of Resolution in SAT Solving

The practical success of Boolean Satisfiability (SAT) solvers stems from the CDCL (Conflict-Driven Clause Learning) approach to SAT solving. However, from a propositional proof complexity perspective, CDCL is no more powerful than the resolution proof system, for which many hard examples exist. This paper proposes a new problem transformation, which enables reducing the decision problem for formulas in conjunctive normal form (CNF) to the problem of solving maximum satisfiability over Horn formulas. Given the new transformation, the paper proves a polynomial bound on the number of MaxSAT resolution steps for pigeonhole formulas. This result is in clear contrast with earlier results on the length of proofs of MaxSAT resolution for pigeonhole formulas. The paper also establishes the same polynomial bound in the case of modern core-guided MaxSAT solvers. Experimental results, obtained on CNF formulas known to be hard for CDCL SAT solvers, show that these can be efficiently solved with modern MaxSAT solvers

Oral Health Status of Patients with Mental Disorders in Southwest Ethiopia

BACKGROUND: Psychiatric disorders are known to be a risk factor for the development of different oral health problems especially for dental caries and periodontal diseases. In spite of this fact, no study has been conducted to reveal its magnitude in Ethiopia. Hence, this study was conducted to determine the oral health status of psychiatric patients at Jimma University Specialized Hospital (JUSH), Psychiatric Clinic. METHODS: A hospital based cross- sectional study was used from January to May 2011. A total of 240 participants were included in the study. Dental examination was done to measure indices of oral health: decayed, missing, and filled teeth (DMFT) index and community periodontal index (CPI). Oral examination was performed using mirror, probe and explorer by experienced dental doctors. A simple random sampling technique was implemented to collect data. ANOVA test, binary logistic and multinomial logistic regression analyses were done using SPSS 16.0 statistical software. RESULTS: The mean DMFT score among the psychiatric patients was 1.94 ± 2.12 (mean ± SD) with 1.28 ± 1.69, 0.51 ± 1.19 and 0.14 ± 0.48 (mean ± SD) for decayed, missed and filled teeth respectively. Only about 24% of the psychiatric patients had a healthy CPI score. Incorrect tooth brushing technique was significantly associated with a DMFT score greater than 2 (AOR = 3.58; 95% CI: 1.65, 7.79). The habit of sweet intake was also associated with dental caries (AOR = 2.91; 95% CI: 1.43, 5.95). Similarly, patients with a smoking habit also demonstrated statistically significant association with dental caries (AOR = 18.98; 95% CI: 5.06, 71.24). CONCLUSION: The oral health status of the psychiatric patients was poor. Thus, health education about oral hygiene should be given for psychiatric patients so they can avoid the frequent intake of sweets, smoking and learn correct tooth brushing technique

Understanding How Microplastics Affect Marine Biota on the Cellular Level Is Important for Assessing Ecosystem Function: A Review

Plastic has become indispensable for human life. When plastic debris is discarded into waterways, these items can interact with organisms. Of particular concern are microscopic plastic particles (microplastics) which are subject to ingestion by several taxa. This review summarizes the results of cutting-edge research about the interactions between a range of aquatic species and microplastics, including effects on biota physiology and secondary ingestion. Uptake pathways via digestive or ventilatory systems are discussed, including (1) the physical penetration of microplastic particles into cellular structures, (2) leaching of chemical additives or adsorbed persistent organic pollutants (POPs), and (3) consequences of bacterial or viral microbiota contamination associated with microplastic ingestion. Following uptake, a number of individual-level effects have been observed, including reduction of feeding activities, reduced growth and reproduction through cellular modifications, and oxidative stress. Microplastic-associated effects on marine biota have become increasingly investigated with growing concerns regarding human health through trophic transfer. We argue that research on the cellular interactions with microplastics provide an understanding of their impact to the organisms’ fitness and, therefore, its ability to sustain their functional role in the ecosystem. The review summarizes information from 236 scientific publications. Of those, only 4.6% extrapolate their research of microplastic intake on individual species to the impact on ecosystem functioning. We emphasize the need for risk evaluation from organismal effects to an ecosystem level to effectively evaluate the effect of microplastic pollution on marine environments. Further studies are encouraged to investigate sublethal effects in the context of environmentally relevant microplastic pollution conditions

Body appreciation around the world: Measurement invariance of the Body Appreciation Scale-2 (BAS-2) across 65 nations, 40 languages, gender identities, and age

The Body Appreciation Scale-2 (BAS-2) is a widely used measure of a core facet of the positive body image construct. However, extant research concerning measurement invariance of the BAS-2 across a large number of nations remains limited. Here, we utilised the Body Image in Nature (BINS) dataset - with data collected between 2020 and 2022 - to assess measurement invariance of the BAS-2 across 65 nations, 40 languages, gender identities, and age groups. Multi-group confirmatory factor analysis indicated that full scalar invariance was upheld across all nations, languages, gender identities, and age groups, suggesting that the unidimensional BAS-2 model has widespread applicability. There were large differences across nations and languages in latent body appreciation, while differences across gender identities and age groups were negligible-to-small. Additionally, greater body appreciation was significantly associated with higher life satisfaction, being single (versus being married or in a committed relationship), and greater rurality (versus urbanicity). Across a subset of nations where nation-level data were available, greater body appreciation was also significantly associated with greater cultural distance from the United States and greater relative income inequality. These findings suggest that the BAS-2 likely captures a near-universal conceptualisation of the body appreciation construct, which should facilitate further cross-cultural research

Genetic diversity and virulence of Xanthomonas campestris pv. campestris isolates from Brassica napus and six Brassica oleracea crops in Serbia

The present study provides insight into the diversity of 147 Xanthomonas campestris pv. campestris (Xcc) isolates obtained from six Brassica oleracea vegetable crops (broccoli, cabbage, cauliflower, collard greens, kale, kohlrabi) and the winter oilseed rape crop Brassica napus, collected from different regions in Serbia in 2014. The XCF/XCR pathovar-specific primer set was used for fast preliminary identification. In repetitive sequence-based PCR (BOX, ERIC and REP) of all isolates, a higher level of genetic diversity was found in winter oilseed rape isolates compared to isolates from the other hosts. ERIC and REP-PCR showed the highest heterogeneity, with 10 and nine banding patterns, respectively. The REP-PCR results showed the highest correlation (70%) with those obtained with multilocus sequence analysis (MLSA), performed with 10 housekeeping genes (fusA, gap-1, gltA, gyrB1, lacF, lepA, rpoD, dnaK, fyuA and gyrB2). Three distinct phylogenetic groups of winter oilseed rape isolates were detected using MLSA. Two genes, gltA and rpoD, showed the greatest ability to identify and discriminate winter oilseed rape Xcc isolates from isolates of the other six hosts. The lepA gene exhibited specific three-nucleotide changes in sequences of some of the isolates. Results of virulence testing of 18 representative isolates showed statistically significant host-pathogen specialization for Xcc isolates from winter oilseed rape, cauliflower, kale and kohlrabi. In conclusion, oilseed rape isolates are more genetically diverse and show greater specialization to their host in comparison to the rest of the tested isolates from other brassica hosts