Learn More
Lenalidomide is an immunomodulatory agent which has been approved for multiple myeloma. Lenalidomide is also effective in and tolerated well by patients with follicular lymphoma, diffuse large B-cell lymphoma, and transformed large cell lymphoma. This review summarizes the results of current preclinical and clinical studies of lenalidomide, alone or in(More)
We propose an approach for decomposing Boolean satisfiability problems while extending recent results of [12] on solving Boolean systems of equations. Developments in [12] were aimed at the expansion of functions f in orthonormal (ON) sets of base functions as a generalization of the Boole-Shannon expansion and the derivation of the consistency condition(More)
Given a CNF formula F , we present a new algorithm for deciding the satisfiability (SAT) of F and computing all solutions of assignments. The algorithm is based on the concept of cofactors known in the literature. This paper is a fallout of the previous work by authors on Boolean satisfiability [11, 12, 13], however the algorithm is essentially independent(More)
  • 1