As cases of the novel coronavirus disease (COVID-19) continue to rise, so are concerns effects this pandemic could have on people living with HIV. In response pandemic, measures been put in place by African governments limit spread virus. We examine impact these ensuring progress towards HIV advocacy '90-90-90' 2020, i.e., 90% all will know their status, diagnosed receive sustained antiretrovir...

This paper studies stable and (one-sided) strategy-proof matching rules in manyto-onematchingmarkets with contracts. First, the number of such rules is shown to be at most one. Second, the doctor-optimal stable rule, whenever it exists, is shown to be the unique candidate for a stable and strategy-proof rule. Third, a stable and strategyproof rule, when exists, is shown to be second-best optima...

We propose an adaptive framework for branching rule selection that is based on a set of branching rules. Each branching rule is attached a preference value that is dynamically adapted with respect to conflict analysis. Thus, our approach brings together two essential features of modern SAT algorithms which were traditionally independent from each other. Experimental results show the feasibility...