نتایج جستجو برای: blocked
تعداد نتایج: 54031 فیلتر نتایج به سال:
DNA encoding ricin B chain was derived from preproricin genomic DNA and ligated into the baculovirus transfer vector, pAcGP67A. Co-transfection of Spodoptera frugiperda Sf9 cells with BaculoGold DNA was followed by limiting dilution purification of recombinant baculovirus. Infection of SF9 cells at a multiplicity of infection of 1 in the presence of 25 mM lactose produced 3 mg/l of soluble, gly...
We demonstrate that it is fairly easy to decompose any propositional formula into two subsets such that both can be solved by blocked clause elimination. Such a blocked clause decomposition is useful to cheaply detect backbone variables and equivalent literals. Blocked clause decompositions are especially useful when they are unbalanced, i.e., one subset is much larger in size than the other on...
We recently introduced a new proof system for Quantified Boolean Formulas (QBF), called QRAT, that opened up a variety of new preprocessing techniques. This paper presents a concept that follows from the QRAT proof system: blocked literals. Blocked literals are redundant universal literals that can be removed or added to clauses. We show that blocked literal elimination (BLE) and blocked litera...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید