A logical deduction based clause learning algorithm for Boolean satisfiability problems

Clause learning is the key component of modern SAT solvers, while conflict analysis based on the implication graph is the mainstream technology to generate the learnt clauses. Whenever a clause in the clause database is falsified by the current variable assignments, the SAT solver will try to analyze the reason by using different cuts (i.e., the Unique Implication Points) on the implication graph. Those schemes reflect only the conflict on the current search subspace, does not reflect the inherent conflict directly involved in the rest space. In this paper, we propose a new advanced clause learning algorithm based on the conflict analysis and the logical deduction, which reconstructs a linear logical deduction by analyzing the relationship of different decision variables between the backjumping level and the current decision level. The logical deduction result is then added into the clause database as a newly learnt clause. The resulting implementation in Minisat improves the state-of-the-art performance in SAT solving

Model Independent Analysis of the Forward-Backward Asymmetry for the B→K1μ+μ−B\to K_{1}\mu^{+}\mu^{-} Decay

The sensitivity of the zero position of the forward backward asymmetry $\mathcal{A}_{FB}$ for the exclusive $B\rightarrow K_{1}(1270)\mu^{+}\mu^{-}$ decay is examined by using most general non-standard 4-fermion interactions. Our analysis shows that the zero position of the forward backward asymmetry is very sensitive to the sign and size of the Wilson coefficients corresponding to the new vector type interactions, which are the counter partners of the usual Standard Model operators but have opposite chirality. In addition to these, the other significant effect comes from the interference of Scalar-Pseudoscalar and Tensor type operators. These results will not only enhance our theoretical understanding about the axial vector mesons but will also serve as a good tool to look for physics beyond the SM.Comment: 14 pages, 8 figures, Published version that appears in EPJ

Pertactin-deficient Bordetella pertussis isolates: evidence of increased circulation in Europe, 1998 to 2015

Introduction: Pertussis outbreaks have occurred in several industrialised countries using acellular pertussis vaccines (ACVs) since the 1990s. High prevalence of pertactin (PRN)-deficient Bordetella pertussis isolates has been found in these countries. Aims: To evaluate in Europe: (i) whether proportions of PRN-deficient strains increased in consecutive collections of B. pertussis clinical isolates; (ii) if the frequency of PRN-deficient strains in countries correlated with the time since ACV introduction; (iii) the presence of pertussis toxin (PT)-, filamentous haemagglutinin (FHA)- or fimbriae (Fim)-deficient isolates. Methods: B. pertussis clinical isolates were obtained from different European countries during four periods (EUpert I-IV studies): 1998 to 2001 (n =102), 2004 to 2005 (n =154), 2007 to 2009 (n =140) and 2012 to 2015 (n=265). The isolates' selection criteria remained unchanged in all periods. PRN, PT, FHA and Fim2 and Fim3 expression were assessed by ELISA. Results: In each period to1.0% (1/102), 1.9% (3/154), 6.4% (9/140) and 24.9% (66/265) of isolates were PRN-deficient. In EUpert IV, PRN-deficient isolates occurred in all countries sampled and in six countries their frequency was higher than in EUpert III (for Sweden and the United Kingdom, p < 0.0001 and p = 0.0155, respectively).Sweden and Italy which used ACvs since the mid 1990s had the highest frequencies (69%; 20/29 and 55%; 11/20, respectively) while Finland, where primary immunisations with ACV containing PRN dated from 2009 had the lowest (3.6%). Throughout the study, no PT- or FHA-deficient isolate and one Fim2/3-deficient was detected. Conclusion: Results suggest that the longer the period since the introduction of ACVs containing PRN, the higher the frequency of circulating PRN-deficient isolates

A century of trends in adult human height

Being taller is associated with enhanced longevity, and higher education and earnings. We reanalysed 1472 population-based studies, with measurement of height on more than 18.6 million participants to estimate mean height for people born between 1896 and 1996 in 200 countries. The largest gain in adult height over the past century has occurred in South Korean women and Iranian men, who became 20.2 cm (95% credible interval 17.5-22.7) and 16.5 cm (13.3-19.7) taller, respectively. In contrast, there was little change in adult height in some sub-Saharan African countries and in South Asia over the century of analysis. The tallest people over these 100 years are men born in the Netherlands in the last quarter of 20th century, whose average heights surpassed 182.5 cm, and the shortest were women born in Guatemala in 1896 (140.3 cm; 135.8-144.8). The height differential between the tallest and shortest populations was 19-20 cm a century ago, and has remained the same for women and increased for men a century later despite substantial changes in the ranking of countries

Rising rural body-mass index is the main driver of the global obesity epidemic in adults

Body-mass index (BMI) has increased steadily in most countries in parallel with a rise in the proportion of the population who live in cities 1,2 . This has led to a widely reported view that urbanization is one of the most important drivers of the global rise in obesity 3�6 . Here we use 2,009 population-based studies, with measurements of height and weight in more than 112 million adults, to report national, regional and global trends in mean BMI segregated by place of residence (a rural or urban area) from 1985 to 2017. We show that, contrary to the dominant paradigm, more than 55 of the global rise in mean BMI from 1985 to 2017�and more than 80 in some low- and middle-income regions�was due to increases in BMI in rural areas. This large contribution stems from the fact that, with the exception of women in sub-Saharan Africa, BMI is increasing at the same rate or faster in rural areas than in cities in low- and middle-income regions. These trends have in turn resulted in a closing�and in some countries reversal�of the gap in BMI between urban and rural areas in low- and middle-income countries, especially for women. In high-income and industrialized countries, we noted a persistently higher rural BMI, especially for women. There is an urgent need for an integrated approach to rural nutrition that enhances financial and physical access to healthy foods, to avoid replacing the rural undernutrition disadvantage in poor countries with a more general malnutrition disadvantage that entails excessive consumption of low-quality calories. © 2019, The Author(s)