A Pseudo-Boolean constraint, PB-constraint, is a linear constraint over Boolean variables. This kind of constraints has been widely used in expressing NP-complete problems. This paper introduces a family of algorithms for translating PseudoBoolean constraints into CNF clauses. These algorithms are centered around the idea of rewriting a PB-constraint as the conjunction of a set of easier to tra...

This survey has compared attitudes towards (endocardial) lead extraction, among European electrophysiology centres, with special attention paid to 'redundant leads'. The main findings of this survey are: (i) most of the centres performing lead extractions do so in low volume even though the number of implants may be high. (ii) Approaches to the practice of lead extraction are based largely on c...

Effects of repeated administration ofphenobarbital (PB) on blood coagulation-related parameters were examined in non-pregnant, pregnant and lactating rats, and also in pups born to PB-treated lactating dams. PB was orally administered at a dose level of 80 mglkglday to pregnant (from gestation day (GD) 13), postpartum (from postpartum day (PPD) 7) and non-pregnant rats (from 13 weeks of age) fo...

the present research was planned to evaluate the skill of linear stochastic models known as arima and multiplicative seasonal autoregressive integrated moving average (sarima) model in the quantitative forecasting of the standard runoff index (sri) in karkheh basin. to this end, sri was computed in monthly and seasonal time scales in 10 hydrometric stations in 1974-75 to 2012-13 period of time ...