Still-life is a challenging problem for CP techniques. We show how to use the global case constraint to construct ad-hoc constraints which can provide stronger propagation than existing CP models. We also demonstrate how to use BDDs to construct good representations for the case constraint which is critical for efficiency. Our results seem comparable to hybrid CP/IP models even though we are on...

Four decades after the civil rights revolution began with the Supreme Court’s unanimous 1954 school desegregation decision, Brown v. Board of Education, the Supreme Court reversed itself in the 1990s, authorizing school districts to return to segregated and unequal public schools.... The new policies refl ected the victory of the conservative movement that altered the federal courts and turned ...

Background: The Presence of donor leukocytes in recipients of organ allograft has been shown even several years after transplantation. However, it remains unclear whether this donor cell microchimerism plays an effective role in allograft acceptance or is simply a consequence of immunosuppressive conditions in recipients. Objective: To study microchimerism in a group of kidney transplant recipi...

The Maximum Density Still Life problem fills a finite Game of Life board with a stable pattern of cells that has as many live cells as possible. Although simple to state, this problem is computationally challenging for any but the smallest sizes of board. Especially difficult is to prove that the maximum number of live cells has been found. Various approaches have been employed. The most succes...